1777 search results - page 165 / 356 » Programming Cryptographic Protocols |
118
click to vote
MMMACNS
2001
Springer
15 years 5 months ago
2001
Springer
Abstract. Many design flaws and incorrect analyses of cryptographic protoAppeared in the Proceedings of the First International Workshop on Mathematical Methods, Models and Archit...
117
click to vote
PODC
2010
ACM
15 years 5 months ago
2010
ACM
In this paper, we present a framework for achieving anonymity and trust, two seemingly contradictory properties, in distributed systems. Our approach builds on webs of trust, a we...
113
click to vote
ACMICEC
2006
ACM
15 years 5 months ago
2006
ACM
We present a practical protocol based on homomorphic cryptography for conducting provably fair sealed-bid auctions. The system preserves the secrecy of the bids, even after the an...
149
click to vote
CARDIS
2006
Springer
15 years 5 months ago
2006
Springer
Massively deploying RFID systems while preserving people's privacy and data integrity is a major security challenge of the coming years. Up to now, it was commonly believed th...
107
click to vote
CRYPTO
2006
Springer
15 years 5 months ago
2006
Springer
This paper presents the first automatic technique for proving not only protocols but also primitives in the exact security computational model. Automatic proofs of cryptographic pr...