1![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† 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†](https://www.pdfsearch.io/img/56c42edbef156cad9eb43eb133998a35.jpg) | Add to Reading ListSource URL: carmelatroncoso.comLanguage: English - Date: 2015-11-19 22:20:42
|
---|
2![Provable post-quantum security Renato Renner
Institute for Theoretical Physics Provable post-quantum security Renato Renner
Institute for Theoretical Physics](https://www.pdfsearch.io/img/54470d1a399d7643104239d83a60c683.jpg) | Add to Reading ListSource URL: pqc2010.cased.deLanguage: English - Date: 2010-06-02 01:48:25
|
---|
3![A Provable-Security Treatment of the Key-Wrap Problem Phillip Rogaway1 and Thomas Shrimpton2 1 2 A Provable-Security Treatment of the Key-Wrap Problem Phillip Rogaway1 and Thomas Shrimpton2 1 2](https://www.pdfsearch.io/img/803a76498b8e0eb869c127864e6f6ffb.jpg) | Add to Reading ListSource URL: www.iacr.org- Date: 2008-06-01 02:58:21
|
---|
4![How Secure and Quick is QUIC? Provable Security and Performance Analyses Robert Lychev MIT Lincoln Laboratory How Secure and Quick is QUIC? Provable Security and Performance Analyses Robert Lychev MIT Lincoln Laboratory](https://www.pdfsearch.io/img/6047e99d6d653629b9283cfb06029729.jpg) | Add to Reading ListSource URL: www.sjero.net- Date: 2015-03-23 13:54:32
|
---|
5![Practice-Oriented Provable Security and the Social Construction of Cryptography Phillip Rogaway∗ May 22, 2009† Abstract Practice-Oriented Provable Security and the Social Construction of Cryptography Phillip Rogaway∗ May 22, 2009† Abstract](https://www.pdfsearch.io/img/ae189d1e03de686b758f559323491051.jpg) | Add to Reading ListSource URL: web.cs.ucdavis.edu- Date: 2015-07-03 16:39:39
|
---|
6![2015 IEEE Symposium on Security and Privacy How Secure and Quick is QUIC? Provable Security and Performance Analyses Robert Lychev MIT Lincoln Laboratory 2015 IEEE Symposium on Security and Privacy How Secure and Quick is QUIC? Provable Security and Performance Analyses Robert Lychev MIT Lincoln Laboratory](https://www.pdfsearch.io/img/86b62a7bad0c7fe03ff429182c1d3287.jpg) | Add to Reading ListSource URL: www.ieee-security.orgLanguage: English - Date: 2015-05-11 16:43:10
|
---|
7![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 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](https://www.pdfsearch.io/img/972d6db3dd730f9a78e8c69f02273e11.jpg) | Add to Reading ListSource URL: web.cs.ucdavis.eduLanguage: English - Date: 2005-06-19 20:47:33
|
---|
8![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 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](https://www.pdfsearch.io/img/18c1445d52a89a5f74666b11340aec3d.jpg) | Add to Reading ListSource URL: aromamedical.orgLanguage: English - Date: 2015-09-01 11:05:09
|
---|
9![A tool for automating the computationally complete symbolic attacker (Extended Abstract) Hubert Comon-Lundh V´eronique Cortier A tool for automating the computationally complete symbolic attacker (Extended Abstract) Hubert Comon-Lundh V´eronique Cortier](https://www.pdfsearch.io/img/e18a792b0aad27b2cfda5ed8da20a0b2.jpg) | Add to Reading ListSource URL: software.imdea.orgLanguage: English - Date: 2014-07-17 09:25:52
|
---|
10![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 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](https://www.pdfsearch.io/img/5a7e02e0ff9eb4fb2412f915a7666527.jpg) | Add to Reading ListSource URL: 2010.eccworkshop.orgLanguage: English - Date: 2010-10-25 19:46:00
|
---|