5255 search results - page 128 / 1051 » Formal Methods for Privacy |
124
Voted
IEEEARES
2006
IEEE
15 years 8 months ago
2006
IEEE
Formal modeling and verification of security protocols typically assumes that a protocol is executed in isolation, without other protocols sharing the network. We investigate the...
107
click to vote
CCS
2006
ACM
15 years 6 months ago
2006
ACM
We present a process algebraic intruder model for verifying a class of liveness properties of security protocols. For this class, the proposed intruder model is proved to be equiv...
122
Voted
SACRYPT
1998
Springer
15 years 6 months ago
1998
Springer
We introduce a new payment architecture that limits the power of an attacker while providing the honest user with privacy. Our proposed method defends against all known attacks on ...
109
click to vote
TDP
2008
15 years 2 months ago
2008
Privacy preserving data mining and statistical disclosure control have introduced several methods for data perturbation that can be used for ensuring the privacy of data respondent...
139
Voted
FMCAD
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. We have formal verified a number of algorithms for evaluating transcendental functions in double-extended precision floating point arithmetic in the Intel