3115 search results - page 525 / 623 » Synthesizing Secure Protocols |
143
click to vote
LICS
1999
IEEE
15 years 8 months ago
1999
IEEE
Contextual equivalences for cryptographic process calculi, like the spi-calculus, can be used to reason about correctness of protocols, but their definition suffers from quantific...
136
click to vote
DIM
2007
ACM
15 years 8 months ago
2007
ACM
In a history-based trust-management system, users and service providers use information about past transactions to make trust-based decisions concerning current transactions. One ...
141
click to vote
ACMICEC
2006
ACM
15 years 8 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...
156
click to vote
EUROCRYPT
2000
Springer
15 years 8 months ago
2000
Springer
We show that general one-way trapdoor permutations are sufficient to privately retrieve an entry from a database of size n with total communication complexity strictly less than n....
153
click to vote
FC
2000
Springer
15 years 8 months ago
2000
Springer
Auditability is an important property in nancial systems and architectures. Here we de ne the primitive of blind auditable membership proof" BAMP which combines public auditab...