Olivier Levillain

According to our database, Olivier Levillain authored at least 19 papers between 2009 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

X-Ray-TLS: Transparent Decryption of TLS Sessions by Extracting Session Keys from Memory.

Florent Moriconi, Olivier Levillain, Aurélien Francillon, Raphaël Troncy

Proceedings of the 19th ACM Asia Conference on Computer and Communications Security, 2024

Mealy Verifier: An Automated, Exhaustive, and Explainable Methodology for Analyzing State Machines in Protocol Implementations.

Arthur Tran Van, Olivier Levillain, Hervé Debar

Proceedings of the 19th International Conference on Availability, Reliability and Security, 2024

2023

A Privacy-Preserving Infrastructure to Monitor Encrypted DNS Logs.

Adam Oumar Abdel-Rahman, Olivier Levillain, Eric Totel

Proceedings of the Risks and Security of Internet and Systems, 2023

2022

Towards a Systematic and Automatic Use of State Machine Inference to Uncover Security Flaws and Fingerprint TLS Stacks.

Aina Toky Rasoamanana, Olivier Levillain, Hervé Debar

Proceedings of the Computer Security - ESORICS 2022, 2022

2021

Framework, Tools and Good Practices for Cybersecurity Curricula.

Jan Hajny, Sara Ricci, Edmundas Piesarskas, Olivier Levillain, Letterio Galletta, Rocco De Nicola

IEEE Access, 2021

2020

Implementation Flaws in TLS Stacks: Lessons Learned and Study of TLS 1.3 Benefits.

Olivier Levillain

Proceedings of the Risks and Security of Internet and Systems, 2020

2019

Analysis of QUIC Session Establishment and Its Implementations.

Eva Gagliardi, Olivier Levillain

Proceedings of the Information Security Theory and Practice, 2019

2017

concerto: A Methodology Towards Reproducible Analyses of TLS Datasets.

Olivier Levillain, Maxence Tury, Nicolas Vivet

IACR Cryptol. ePrint Arch., 2017

2016

A study of the TLS ecosystem. (Une étude de l'écosystème TLS).

Olivier Levillain

PhD thesis, 2016

Caradoc: A Pragmatic Approach to PDF Parsing and Validation.

Guillaume Endignoux, Olivier Levillain, Jean-Yves Migeon

Proceedings of the 2016 IEEE Security and Privacy Workshops, 2016

2015

Format Oracles on OpenPGP.

Florian Maury, Jean-René Reinhard, Olivier Levillain, Henri Gilbert

Proceedings of the Topics in Cryptology, 2015

TLS Record Protocol: Security Analysis and Defense-in-depth Countermeasures for HTTPS.

Olivier Levillain, Baptiste Gourdin, Hervé Debar

Proceedings of the 10th ACM Symposium on Information, 2015

2014

Parsifal: A Pragmatic Solution to the Binary Parsing Problems.

Olivier Levillain

Proceedings of the 35. IEEE Security and Privacy Workshops, 2014

Mind Your Language(s): A Discussion about Languages and Security.

Éric Jaeger, Olivier Levillain

Proceedings of the 35. IEEE Security and Privacy Workshops, 2014

2013

Parsifal: Writing efficient and robust binary parsers, quickly.

Olivier Levillain, Hervé Debar, Benjamin Morin

Proceedings of the 2013 International Conference on Risks and Security of Internet and Systems (CRiSIS), 2013

2012

One year of SSL internet measurement.

Olivier Levillain, Arnaud Ébalard, Benjamin Morin, Hervé Debar

Proceedings of the 28th Annual Computer Security Applications Conference, 2012

2010

On the Limits of Hypervisor- and Virtual Machine Monitor-Based Isolation.

Loïc Duflot, Olivier Grumelard, Olivier Levillain, Benjamin Morin

Proceedings of the Towards Hardware-Intrinsic Security - Foundations and Practice, 2010

ACPI and SMI handlers: some limits to trusted computing.

Loïc Duflot, Olivier Grumelard, Olivier Levillain, Benjamin Morin

J. Comput. Virol., 2010

2009

ACPI: Design Principles and Concerns.

Loïc Duflot, Olivier Levillain, Benjamin Morin

Proceedings of the Trusted Computing, 2009