Sciweavers

CRYPTO
2006
Springer
125views Cryptology» more  CRYPTO 2006»
13 years 9 months ago
Automated Security Proofs with Sequences of Games
This paper presents the first automatic technique for proving not only protocols but also primitives in the exact security computational model. Automatic proofs of cryptographic pr...
Bruno Blanchet, David Pointcheval