Security, privacy, and cryptography
Publication
Reliable Evidence: Auditability by Typing
Project
Number Theory and Arithmetic Geometry
Research on number theory and arithmetic geometry Related Links Cryptography group Events Computer Security and Cryptography (April 12-16, 2010)
Video
Pairing-based Non-interactive Zero-Knowledge Proofs
Non-interactive zero-knowledge proofs make it possible to prove the truth of a statement without revealing any other information. They have been used widely in the theory of cryptography, but due to efficiency problems have not…
Video
Public Key Cryptosystems: Stronger Security from General Assumptions
Public key encryption (PKE) allows parties that had never met in advance to communicate over an unsafe channel. The notion was conceived in the 1970s, followed by the discovery that one could provide formal definitions…
