659 search results - page 72 / 132 » Compiling and securing cryptographic protocols |
126
Voted
APLAS
2010
ACM
15 years 23 days ago
2010
ACM
Abstract. We propose a flexible method for verifying the security of ML programs that use cryptography and recursive data structures. Our main applications are X.509 certificate ch...
111
Voted
FOCS
2010
IEEE
14 years 10 months ago
2010
IEEE
We construct the first general secure computation protocols that require no trusted infrastructure other than authenticated communication, and that satisfy a meaningful notion of s...
127
click to vote
ISCI
2008
15 years 1 days ago
2008
Most modern cryptographic studies design cryptosystems and algorithms using mathematical concepts. In designing and analyzing cryptosystems and protocols, mathematical concepts ar...
107
Voted
SAC
2004
ACM
15 years 6 months ago
2004
ACM
Since fingerprint data are no secrets but of public nature, the verification data transmitted to a smartcard for oncardmatching need protection by appropriate means in order to ...
96
Voted
IPSN
2007
Springer
15 years 6 months ago
2007
Springer
Secure sensor network communication protocols need to provide three basic properties: data secrecy, authentication, and replay protection. Secure sensor network link layer protoco...