DMCA

Automated Security Proofs with Sequences of Games (2006)

by Bruno Blanchet , David Pointcheval
Venue:Proc. 27th IEEE Symposium on Security
Citations:48 - 9 self