5255 search results - page 198 / 1051 » Formal Methods for Privacy |
133
Voted
CORR
2011
Springer
14 years 10 months ago
2011
Springer
A mix network by Wikstrom fails in correctness, provable privacy and soundness. Its claimed advantages in security and efficiency are compromised. The analysis in this paper illus...
116
click to vote
MOC
2010
14 years 10 months ago
2010
Spectral deferred correction (SDC) methods for solving ordinary differential equations (ODEs) were introduced by Dutt, Greengard and Rokhlin [5]. It was shown in [5] that SDC metho...
108
Voted
EDBTW
2010
Springer
15 years 10 months ago
2010
Springer
To face the increasing demand from users, National Statistical Institutes (NSI) release different information products. The dissemination of this information should be performed ...
117
click to vote
MOC
2010
14 years 10 months ago
2010
In this paper, a Jacobi-collocation spectral method is developed for Volterra integral equations of the second kind with a weakly singular kernel. We use some function transformati...
134
Voted
SOUPS
2009
ACM
15 years 10 months ago
2009
ACM
Secure Device Pairing is the bootstrapping of secure communication between two previously unassociated devices over a wireless channel. The human-imperceptible nature of wireless ...