Scalable Anonymous Communication with Provable Security Prateek Mittal, Nikita Borisov∗ Dept. of Electrical and Computer Engineering, U. of Illinois at Urbana-Champaign, Carmela Troncoso, Alfredo Rial†

Source URL: carmelatroncoso.com

Provable post-quantum security Renato Renner Institute for Theoretical Physics

Source URL: pqc2010.cased.de

A Provable-Security Treatment of the Key-Wrap Problem Phillip Rogaway1 and Thomas Shrimpton2 1 2

Source URL: www.iacr.org

How Secure and Quick is QUIC? Provable Security and Performance Analyses Robert Lychev MIT Lincoln Laboratory

Source URL: www.sjero.net

Practice-Oriented Provable Security and the Social Construction of Cryptography Phillip Rogaway∗ May 22, 2009† Abstract

Source URL: web.cs.ucdavis.edu

2015 IEEE Symposium on Security and Privacy How Secure and Quick is QUIC? Provable Security and Performance Analyses Robert Lychev MIT Lincoln Laboratory

Source URL: www.ieee-security.org

• Computing
• Internet protocols
• Cryptography
• Network architecture
• Cryptographic protocols
• Secure communication
• Computer networking
• QUIC
• Network protocols
• Datagram Transport Layer Security
• Comparison of TLS implementations
• Public-key cryptography

On the Role of Definitions in and Beyond Cryptography Phillip Rogaway Dept. of Computer Science, University of California, Davis, California 95616, USA, and Dept. of Computer Science, Fac. of Science, Chiang Mai Universi

Source URL: web.cs.ucdavis.edu

• Cryptography
• Pseudorandomness
• Advantage
• Semantic security
• Negligible function
• Provable security
• Concrete security
• Pseudorandom permutation
• Pseudorandom generator theorem
• Pseudorandom generator
• Ciphertext indistinguishability
• Block cipher

A list of inept businesses and organisations and why. A warning for those who are not aware of their failings. This is just my provable experiences. Yahoo. This company is now so in league with the American security agen

Source URL: aromamedical.org

A tool for automating the computationally complete symbolic attacker (Extended Abstract) Hubert Comon-Lundh V´eronique Cortier

Source URL: software.imdea.org

• Cryptography
• Applied mathematics
• Computer security
• Advantage
• Provable security
• Cryptographic protocol
• Data Encryption Standard
• DolevYao model
• NeedhamSchroeder protocol

Motivation - Exotic Security Assumptions in Cryptography Main Algorithm and Results Oracle-assisted Static DHP for binary curves On the Static Diffie-Hellman Problem on Elliptic Curves over Extension Fields

Source URL: 2010.eccworkshop.org

• Cryptography
• Abstract algebra
• Algebra
• Computational hardness assumptions
• Finite fields
• DiffieHellman problem
• Group theory
• Elliptic curve cryptography
• Provable security
• Whitfield Diffie
• DiffieHellman key exchange
• Elliptic curve