Multi-stage key exchange and the case of Google's QUIC protocol

Proceedings of the ACM Conference on Computer and Communications Security

Volumn , Issue , 2014, Pages 1193-1204

  Fischlin, Marc ^a   Günther, Felix ^a  

^a DARMSTADT UNIVERSITY OF TECHNOLOGY   (Germany)

Author keywords

Bellare Rogaway; Composition; Key exchange; Protocol analysis; QUIC

Indexed keywords

CHEMICAL ANALYSIS; DATA PRIVACY;

APPLICATION PROTOCOLS; BELLARE-ROGAWAY; KEY EXCHANGE; KEY EXCHANGE PROTOCOLS; PROTOCOL ANALYSIS; QUIC; SECURITY PROPERTIES; TRADITIONAL APPROACHES;

SECURITY OF DATA;

EID: 84910593638     PISSN: 15437221     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2660267.2660308     Document Type: Conference Paper

References (22)

1. M. Bellare and P. Rogaway. Entity authentication and key distribution. In CRYPTO'93, pages 232-249, 1993.
2. A. Boldyreva, M. Fischlin, A. Palacio, and B. Warinschi. A closer look at PKI: Security and efficiency. In PKC 2007, pages 458-475, 2007.
3. A. Boldyreva, R. Lychev, and C. Nita-Rotaru. How Secure and Quick is QUIC in Presence of Malice? Communicated through one of the authors.
4. C. Boyd, C. Cremers, M. Feltz, K. G. Paterson, B. Poettering, and D. Stebila. ASICS: Authenticated key exchange security incorporating certification systems. In ESORICS 2013, pages 381-399, 2013.
5. C. Brzuska. On the Foundations of Key Exchange. PhD thesis, Technische Universität Darmstadt, Darmstadt, Germany, 2013. http://tuprints.ulb.tu-darmstadt.de/3414/, retrieved on 2014-05-14.
6. C. Brzuska, M. Fischlin, N. P. Smart, B. Warinschi, and S. C. Williams. Less is more: relaxed yet composable security notions for key exchange. Int. J. Inf. Sec., 12(4):267-297, 2013.
7. C. Brzuska, M. Fischlin, B. Warinschi, and S. C. Williams. Composability of Bellare-Rogaway key exchange protocols. In ACM CCS 11, pages 51-62, 2011.
8. R. Canetti and H. Krawczyk. Analysis of key-exchange protocols and their use for building secure channels. In EUROCRYPT 2001, pages 453-474, 2001.
9. L. Chen. Recommendation for Key Derivation through Extraction-then-Expansion. National Institute of Standards and Technology, 2011.
10. Ö. Dagdelen and M. Fischlin. Security analysis of the extended access control protocol for machine readable travel documents. In ISC 2010, pages 54-68, 2010.
11. T. Dierks and E. Rescorla. The Transport Layer Security (TLS) Protocol Version 1.2. RFC 5246 (Proposed Standard), 2008. Updated by RFCs 5746, 5878, 6176.
12. P. Farshim and B. Warinschi. Certified encryption revisited. In AFRICACRYPT 09, pages 179-197, 2009.
13. F. Giesen, F. Kohlar, and D. Stebila. On the security of TLS renegotiation. In ACM CCS 13, pages 387-398, 2013.
14. T. Jager, F. Kohlar, S. Schäge, and J. Schwenk. On the security of TLS-DHE in the standard model. In CRYPTO 2012, pages 273-293, 2012.
15. M. Jakobsson and D. Pointcheval. Mutual authentication for low-power mobile devices. In FC 2001, pages 178-195, 2001.
16. H. Krawczyk, K. G. Paterson, and H. Wee. On the security of the TLS protocol: A systematic analysis. In CRYPTO 2013, Part I, pages 429-448, 2013.
17. C. Kudla and K. G. Paterson. Modular security proofs for key agreement protocols. In ASIACRYPT 2005, pages 549-565, 2005.
18. B. A. LaMacchia, K. Lauter, and A. Mityagin. Stronger security of authenticated key exchange. In ProvSec 2007, pages 1-16, 2007.
19. A. Langley and W.-T. Chang. QUIC Crypto. https://docs.google.com/document/d/1g5nIXAIkN-Y-7XJW5K45IblHd-L2f5LTaDUDwvZ5L6g/, 2013. retrieved on 2014-04-16.
20. K. Lauter and A. Mityagin. Security analysis of KEA authenticated key exchange protocol. In PKC 2006, pages 378-394, 2006.
21. T. Okamoto and D. Pointcheval. The gap-problems: A new class of problems for the security of cryptographic schemes. In PKC 2001, pages 104-118, 2001.
22. J. Roskind. QUIC (Quick UDP Internet Connections): Multiplexed Stream Transport Over UDP. https://docs.google.com/document/d/1RNHkx-VvKWyWg6Lr8SZ-saqsQx7rFV-ev2jRFUoVD34/, 2013. retrieved on 2014-04-16.