%0 Conference Proceedings
%T Analysis of QUIC session establishment and its implementations
%+ Ministère des armées
%+ Institut Polytechnique de Paris (IP Paris)
%+ Réseaux, Systèmes, Services, Sécurité (R3S-SAMOVAR)
%+ Département Réseaux et Services de Télécommunications (TSP - RST)
%+ Centre National de la Recherche Scientifique (CNRS)
%A Gagliardi, Eva
%A Levillain, Olivier
%< avec comité de lecture
%( Lecture Notes in Computer Science
%B 13th IFIP International Conference on Information Security Theory and Practice (WISTP)
%C Paris, France
%Y Maryline Laurent
%Y Thanassis Giannetsos
%I Springer International Publishing
%3 Information Security Theory and Practice
%V LNCS-12024
%P 169-184
%8 2019-12-11
%D 2019
%R 10.1007/978-3-030-41702-4_11
%K Secure communications
%K QUIC
%K Protocol implementation
%Z Computer Science [cs]/Cryptography and Security [cs.CR]
%Z Computer Science [cs]/Networking and Internet Architecture [cs.NI]Conference papers
%X In the recent years, the major web companies have been working to improve the user experience and to secure the communications between their users and the services they provide. QUIC is such an initiative, and it is currently being designed by the IETF. In a nutshell, QUIC originally intended to merge features from TCP/SCTP, TLS 1.3 and HTTP/2 into one big protocol. The current specification proposes a more modular definition, where each feature (transport, cryptography, application, packet reemission) are defined in separate internet drafts. We studied the QUIC internet drafts related to the transport and cryptographic layers, from version 18 to version 23, and focused on the connection establishment with existing implementations. We propose a first implementation of QUIC connection establishment using Scapy, which allowed us to forge a critical opinion of the current specification, with a special focus on the induced difficulties in the implementation. With our simple stack, we also tested the behaviour of the existing implementations with regards to security-related constraints (explicit or implicit) from the internet drafts. This gives us an interesting view of the state of QUIC implementations.
%G English
%Z TC 11
%Z WG 11.2
%2 https://hal.science/hal-02468596/document
%2 https://hal.science/hal-02468596/file/document.pdf
%L hal-02468596
%U https://hal.science/hal-02468596
%~ INSTITUT-TELECOM
%~ CNRS
%~ TELECOM-SUDPARIS
%~ IFIP-LNCS
%~ IFIP
%~ IFIP-TC
%~ IFIP-TC11
%~ IFIP-WISTP
%~ IFIP-WG11-2
%~ UNIV-PARIS-SACLAY
%~ TELECOM-SUDPARIS-SACLAY
%~ IP_PARIS
%~ INSTITUTS-TELECOM
%~ ANR
%~ IFIP-LNCS-12024