3395 search results - page 380 / 679 » Computational Differential Privacy |
202
click to vote
ESORICS
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. Formal methods have been extensively applied to the certification of cryptographic protocols. However, most of these works make the perfect cryptography assumption, i.e....
165
click to vote
ISI
2005
Springer
16 years 7 days ago
2005
Springer
This paper introduces a new approach to a problem of data sharing among multiple parties, without disclosing the data between the parties. Our focus is data sharing among two parti...
162
click to vote
WPES
2004
ACM
16 years 5 days ago
2004
ACM
In an open environment such as the Internet, the decision to collaborate with a stranger (e.g., by granting access to a resource) is often based on the characteristics (rather tha...
166
click to vote
CCS
2004
ACM
16 years 4 days ago
2004
ACM
We propose a type and effect system for authentication protocols built upon a tagging scheme that formalizes the intended semantics of ciphertexts. The main result is that the val...
161
click to vote
CCS
2004
ACM
16 years 4 days ago
2004
ACM
WinZip is a popular compression utility for Microsoft Windows computers, the latest version of which is advertised as having “easy-to-use AES encryption to protect your sensitiv...