First Page | Document Content | |
---|---|---|
Date: 2012-10-01 07:25:51 | Automated Security Proofs with Sequences of Games Bruno Blanchet and David Pointcheval CNRS, D´epartement d’Informatique, ´ EcoleAdd to Reading ListSource URL: prosecco.gforge.inria.frDownload Document from Source WebsiteFile Size: 297,83 KBShare Document on Facebook |