Programming Language Techniques for Cryptographic Proofs

First Page		Document Content
Date: 2013-03-13 12:33:24 Mathematics Knowledge Mathematical proof Science Cryptography Ciphertext indistinguishability Optimal asymmetric encryption padding		Programming Language Techniques for Cryptographic Proofs Add to Reading List Source URL: software.imdea.org Download Document from Source Website File Size: 347,93 KB Share Document on Facebook