659 search results - page 115 / 132 » Compiling and securing cryptographic protocols |
110
Voted
EUROCRYPT
1995
Springer
15 years 6 months ago
1995
Springer
Abstract. We introduce Verifiable Signature Sharing (VCS), a cryptographic primitive for protecting digital signatures. VCS enables the holder of a digitally signed document, who m...
106
Voted
DAGSTUHL
2007
15 years 3 months ago
2007
Voting in uncontrolled environments, such as the Internet comes with a price, the price of having to trust in uncontrolled machines the collection of voter’s vote. An uncontrolle...
151
Voted
ASIAN
2009
Springer
15 years 3 months ago
2009
Springer
In their work on tractable deduction systems, D. McAllester and later D. Basin and H. Ganzinger have identified a property of inference systems (the locality property) that ensures...
SIGCOMM
2010
ACM
15 years 2 months ago
2010
ACM
End-to-end communication encryption is considered necessary for protecting the privacy of user data in the Internet. Only a small fraction of all Internet traffic, however, is pro...
114
Voted
JCS
2011
14 years 9 months ago
2011
We present a model of adaptive attacks which we combine with information-theoretic metrics to quantify the information revealed to an adaptive adversary. This enables us to expres...