Sciweavers

3 search results - page 1 / 1
» Completing the Picture: Soundness of Formal Encryption in th...
Sort
View
TCC
2004
Springer
173views Cryptology» more  TCC 2004»
13 years 9 months ago
Soundness of Formal Encryption in the Presence of Active Adversaries
Abstract. We present a general method to prove security properties of cryptographic protocols against active adversaries, when the messages exchanged by the honest parties are arbi...
Daniele Micciancio, Bogdan Warinschi
SP
2006
IEEE
147views Security Privacy» more  SP 2006»
13 years 9 months ago
A Computationally Sound Mechanized Prover for Security Protocols
We present a new mechanized prover for secrecy properties of security protocols. In contrast to most previous provers, our tool does not rely on the Dolev-Yao model, but on the co...
Bruno Blanchet