Proving Computational Security with a General-Purpose C Verifier A 5-Minute Talk Fran¸cois Dupressoir The Open University

First Page		Document Content
Date: 2012-07-05 18:15:11 Computational hardness assumption Ciphertext indistinguishability Computer security Cyberwarfare Science Cryptography Cryptographic primitive Information-theoretic security		Proving Computational Security with a General-Purpose C Verifier A 5-Minute Talk Fran¸cois Dupressoir The Open University Add to Reading List Source URL: csf2012.seas.harvard.edu Download Document from Source Website File Size: 61,49 KB Share Document on Facebook