285 search results - page 8 / 57 » Computationally Sound, Automated Proofs for Security Protoco... |
ECCC
2011
13 years 2 months ago
2011
BIRTHDAY
2010
Springer
13 years 8 months ago
2010
Springer
Chosen-ciphertext security is by now a standard security property for asymmetric encryption. Many generic constructions for building secure cryptosystems from primitives with lower...
CRYPTO
2011
Springer
12 years 7 months ago
2011
Springer
Abstract. We present EasyCrypt, an automated tool for elaborating security proofs of cryptographic systems from proof sketches—compact, formal representations of the essence of a...
CSFW
2009
IEEE
14 years 2 months ago
2009
IEEE
One of the important challenges when designing and analyzing cryptographic protocols is the enforcement of security properties in the presence of compromised participants. This pa...
JDCTA
2010
13 years 2 months ago
2010
Soundness and coercion resistance are the important and intricate security requirements for remote voting protocols. Several formal models of soundness and coercion-resistance hav...