Publications

Mealy Verifier: An Automated, Exhaustive, and Explainable Methodology for Analyzing State Machines in Protocol Implementations par Arthur Tran Van, Olivier Levillain et Hervé Debar (conférence ARES)

X-Ray-TLS: Transparent Decryption of TLS Sessions by Extracting Session Keys from Memory par Florent Moriconi, Olivier Levillain, Aurélien Francillon et Raphael Troncy (conférence AsiaCCS)

A Privacy-Preserving Infrastructure to Monitor Encrypted DNS Logs par Adam Oumar Abdel-rahman, Olivier Levillain et Éric Totel (conférence CRiSIS)

Reproduction automatisée de vulnérabilités logicielles dans un environnement conteneurisé - DECRET (DEbian Cve REproducer Tool) par Clément Parssegny, Olivier Levillain, Maxime Belair, Mathieu Bacou et Gaël Thomas (conférence SSTIC)

Towards a Systematic and Automatic Use of State Machine Inference to Uncover Security Flaws and Fingerprint TLS Stacks par Aina Toky Rasoamanana, Olivier Levillain et Hervé Debar (conférence ESORICS)

Recherche d'indicateurs de compromission dans des journaux DNS chiffrés par Adam Oumar Abdel-rahman, Olivier Levillain et Éric Totel (conférence RESSI)

GASP : a Generic Approach to Secure network Protocols par Aina Toky Rasoamanana et Olivier Levillain

GASP : a Generic Approach to Secure network Protocols par Olivier Levillain

Work-in-Progress: Towards a Platform to Compare Binary Parser Generators par Olivier Levillain, Sébastien Naud et Aina Toky Rasoamanana (conférence SPW (LangSec))

Framework, Tools and Good Practices for Cybersecurity Curricula par Jan hajny, Sara Ricci, Edmundas Piesarskas, Olivier Levillain, Letterio Galletta et Rocco de Nicola (IEEE Access)

GASP : a Generic Approach to Secure network Protocols par Olivier Levillain (conférence RESSI)

Implementation Flaws in TLS Stacks: Lessons Learned and Study of TLS 1.3 Benefits par Olivier Levillain (conférence CRiSIS)

Que faut-il attendre de DNS-over-HTTPS ? par François Contat et Olivier Levillain (conférence SSTIC)

Wombat : one more Bleichenbacher Toolkit par Olivier Levillain et Aina Toky Rasoamanana (conférence SSTIC)

Analysis of QUIC Session Establishment and its Implementations par Eva Gagliardi et Olivier Levillain (conférence WISTP)

Wombat: one more Bleichenbacher attack toolkit par Olivier Levillain et Aina Toky Rasoamanana (conférence GreHack)

Cyber FizzBuzz : réflexion sur la sélection de candidats dans le domaine de la SSI par Éric Jaeger, Olivier Levillain et Christian Lixi (conférence RESSI)

Présentation d'un cours de programmation sécurisée par Olivier Levillain (conférence RESSI)

Caradoc : une boîte à outils pour décortiquer et analyser sereinement les fichiers PDF par Guillaume Endignoux et Olivier Levillain (conférence SSTIC)

Concerto: A Methodology Towards Reproducible Analyses of TLS Datasets par Olivier Levillain, Maxence Tury et Nicolas Vivet (conférence RWC)

A study of the TLS ecosystem par Olivier Levillain (soutenance de thèse)

Un FizzBuzz pour le cyber par Éric Jaeger et Olivier Levillain (conférence SSTIC)

Caradoc: a pragmatic approach to PDF parsing and validation par Guillaume Endignoux, Olivier Levillain et Jean-Yves Migeon (conférence SPW (LangSec))

Mind your languages! par Olivier Levillain et Pierre Chifflier (conférence HES)

SSL/TLS, 3 ans plus tard par Olivier Levillain (conférence SSTIC)

CyberEdu : intégrer la cybersécurité aux formations supérieures en informatique par Jean-Sylvain Chavanne et Olivier Levillain (conférence RESSI)

Mind your Language(s)! Langages de développement et sécurité par Olivier Levillain (conférence RESSI)

TLS Record Protocol: Security Analysis and Defense-in-depth Countermeasures for HTTPS par Olivier Levillain, Baptiste Gourdin et Hervé Debar (conférence AsiaCCS)

Format Oracles on OpenPGP par Florian Maury, Jean-René Reinhard, Olivier Levillain et Henri Gilbert (conférence CT-RSA)

Mind your Language(s): A Discussion about Languages and Security par Éric Jaeger et Olivier Levillain (conférence SPW (LangSec))

Parsifal: A Pragmatic Solution to the Binary Parsing Problem par Olivier Levillain (conférence SPW (LangSec))

Parsifal: une solution pour écrire rapidement des parsers binaires robustes et efficaces par Olivier Levillain (conférence JFLA)

Parsifal: writing efficient and robust binary parsers, quickly par Olivier Levillain, Hervé Debar et Benjamin Morin (conférence CRiSIS)

Parsifal, ou comment écrire rapidement des parsers robustes et efficaces par Olivier Levillain (conférence SSTIC)

LaFoSec : Étude de la sécurité intrinsèque des langages fonctionnels par Éric Jaeger, Olivier Levillain, Damien Doligez, Christèle Faure, Thérèse Hardin et Manuel Maarek (conférence JFLA)

One Year of SSL Internet Measurement par Olivier Levillain, Arnaud Ebalard, Benjamin Morin et Hervé Debar (conférence ACSAC)

SSL/TLS : état des lieux et recommandations par Olivier Levillain (conférence SSTIC)

Quelques éléments en matière de sécurité des cartes réseau par Yves-Alexis Perez, Loïc Duflot, Olivier Levillain et Guillaume Valadon (conférence SSTIC)

On the Limits of Hypervisor- and Virtual Machine Monitor-Based Isolation par Loïc Duflot, Olivier Grumelard, Olivier Levillain et Benjamin Morin (Towards Hardware-Intrinsic Security - Foundations and Practice)

ACPI and SMI handlers: some limits to Trusted Computing par Loïc Duflot, Olivier Grumelard, Olivier Levillain et Benjamin Morin (Journal in Computer Virology)

ACPI et routine de traitement de la SMI : des limites à l'informatique de confiance ? par Loïc Duflot et Olivier Levillain (conférence SSTIC)

ACPI: Design Principles and Concerns par Loïc Duflot, Olivier Levillain et Benjamin Morin (conférence Trust)

Getting into the SMRAM: SMM Reloaded par Loïc Duflot, Olivier Levillain, Benjamin Morin et Olivier Grumelard (conférence CanSecWest)

JavaSec : Étude de l'adéquation du langage Java pour le développement d'applications de sécurité par Éric Jaeger, Olivier Levillain, Benjamin Morin, Vincent Strubel, Silicom, Amossys et INRIA (ANSSI)

Newspeak, Doubleplussimple Minilang for Goodthinkful Static Analysis of C, Technical Note 2008-IW-SE-00010-1 par Charles Hymans et Olivier Levillain (EADS IW/SE)

Présentations et autres documents

Les implémentations TLS dans tous leurs états par Olivier Levillain (conférence ESIEA Secure Edition)

The (In)security of Network Protocol Implementations par Olivier Levillain (séminaire Sotern)

Cybersécurité : comment mieux sécuriser les protocoles réseaux par Olivier Levillain (podcast SciencesNum)

Influence de la qualité des spécifications sur la sécurité logicielle par Olivier Levillain (conférence Collège de France)

QUIC : que faut-il attendre de ce nouveau protocole de communication ? par Olivier Levillain (séminaire SoSySec)

Projet ANR GASP : vers une approche générique pour sécuriser les protocoles réseau par Olivier Levillain (séminaire R3S)

Présentation de RESSI par Olivier Levillain (séminaire WISG)

Étude pratique de l'attaque de Bleichenbacher avec Wombat par Olivier Levillain et Aina Toky Rasoamanana (séminaire Conférence ESSI)

RFC 8446 - TLS 1.3 : que faut-il attendre de cette nouvelle version ? par Olivier Levillain (MISC)

Prise en main de TLS 1.3 avec OpenSSL 1.1.1 par Olivier Levillain (Linux Magazine)

Parsifal: une solution pour écrire rapidement des parsers binaires robustes et efficaces par Olivier Levillain (séminaire Journée Langages, Types et Preuves)

Entretien avec Olivier Levillain, expert en sécurité informatique par Émilien Gaspard et Olivier Levillain (Linux Magazine Hors Série)

RFC 8446 : TLS 1.3 - Description et éléments d'analyse d'impact sur les SI par Olivier Levillain et Franck Rouxel (séminaire Conférence ESSI)

Les options pour faire du compilateur C un ami qui vous veut du bien par Olivier Levillain (Linux Magazine Hors Série)

OpenID Connect : présentation du protocole et étude de l'attaque Broken End-User Authentication par Rémi Cassam Chenaï et Olivier Levillain (MISC)

Colloque CyberEdu à Colmar par Marc Gilg et Olivier Levillain (séminaire CyberEdu à l'IUT de Colmar)

Apports de TLS 1.3 à la sécurité des communications sur internet par Olivier Levillain (séminaire SAMOVAR)

CyberEdu : intégrer la cybersécurité dans les enseignements en réseaux par Olivier Levillain (séminaire CyberEdu à l'université de Nantes)

CyberEdu : pourquoi et comment parler de sécurité du numérique par Olivier Levillain (séminaire Carrefour des métiers Afpa)

Analyses des configurations SSL/TLS de serveurs SMTP par Arthur Provost et Olivier Levillain (MISC)

Sécurité du numérique : enjeux et éléments de réponse pour une utilisation sereine de l'informatique par Olivier Levillain (conférence Espace Mendès France)

CyberEdu : sécurité et développement par Olivier Levillain (séminaire CyberEdu à l'université de Poitiers)

La sécurité du numérique dans les formations de l'enseignement supérieur par Pascal Chour et Olivier Levillain (conférence JRES)

Caradoc ou l'analyse de la structure de fichiers PDF par Olivier Levillain (séminaire Conférence ESSI)

CyberEdu, ou l’ambition de former à la sécurité tous les acteurs du numérique par Olivier Levillain (1024)

CyberEdu : pourquoi et comment parler de sécurité du numérique par Olivier Levillain (séminaire CyberEdu à l'IUT d'Orléans)

TLS : passé, présent et futur ? par Olivier Levillain (conférence Journées nationales du Pré-GDR Sécurité)

TLS : analyse des vulnérabilités récentes et introduction à TLS 1.3 par Olivier Levillain (conférence FIC)

Une analyse de l'écosystème SSL/TLS par Olivier Levillain (séminaire Cryptographie de l'Université de Rennes 1)

L'impact réel de la cryptographie obsolète sur la sécurité par Olivier Levillain (MISC)

CyberEdu par Olivier Levillain (podcast NoLimitSecu)

The real impact of obsolete cryptography, applied to SSL/TLS par Olivier Levillain (séminaire Cyber In Bretagne)

Regards critiques sur SSL/TLS par Olivier Levillain (séminaire Confiance Numérique de l'Université d'Auvergne)

Regards critiques sur SSL/TLS par Olivier Levillain (séminaire Nouvelles Avancées en Sécurité des Systèmes d'Information de l'INSA et du LAAS)

Regards critiques sur SSL/TLS par Olivier Levillain (séminaire SSL)

Some thoughts on SSL/TLS from a (nearly) 6-year PhD student par Olivier Levillain (séminaire EURECOM)

Mind your Language(s): Langages de développement et sécurité par Olivier Levillain (séminaire Matinales de l'Innovation Logiciel libre et Sécurité)

Mind your Language(s): A Discussion about Languages and Security par Olivier Levillain (conférence HIS)

Regards critiques sur SSL/TLS par Olivier Levillain (séminaire Conférence ESSI)

Mind your Language(s): Langages de développement et sécurité par Olivier Levillain (séminaire Méthodes formelles et langages pour le développement de logiciels fiables dans l'industrie)

Langages de développement et sécurité - Mind your language! par Éric Jaeger et Olivier Levillain (séminaire Performance et Généricité au LRDE)

Langages et sécurité - généralités et cas des langages fonctionnels par Éric Jaeger et Olivier Levillain (conférence JFLA)

SSL/TLS : état des lieux et recommandations par Olivier Levillain (séminaire SAMOVAR)

SSL/TLS : état des lieux et recommandations par Olivier Levillain (séminaire CARAMEL du LORIA)

Les mécanismes de gestion interne d'une plate-forme informatique : SMM et ACPI par Loïc Duflot, Olivier Levillain et Benjamin Morin (MISC)

Chiffrement de supports : principe, intérêts et limites par Loïc Duflot, Olivier Levillain et Alix Cazenave (Sécurité de l'information)

Projets logiciels

Wombat par Olivier Levillain et Aina Toky Rasoamanana (développeur principal)

concerto par Olivier Levillain (développeur principal)

parsifal par Olivier Levillain (développeur principal)

Participations à des comités de programme

• Comité de programme FPS 2024 (site de la conférence)
• Comité de programme WISTP 2024 (site de la conférence)
• Comité de programme ARES 2024 (site de la conférence)
• Comité de programme ETACS 2024 (site de la conférence)
• Comité de programme LangSec Workshop @ IEEE Security & Privacy 2024 (site de la conférence)
• Comité de programme IEEE Security & Privacy 2024 (site de la conférence)
• Comité de programme FPS 2023 (site de la conférence)
• Comité de programme ARES 2023 (site de la conférence)
• Comité de programme ETACS 2023 (site de la conférence)
• Comité de programme WISTP 2022 (site de la conférence)
• Comité de programme ETACS 2022 (site de la conférence)
• Comité de programme ETACS 2021 (site de la conférence)
• Comité de pilotage RESSI 2020 (site de la conférence)
• Comité de programme WISTP 2019 (site de la conférence)
• Comité de pilotage RESSI 2019 (site de la conférence)
• Comité de programme WISTP 2018 (site de la conférence)
• Comité d'organisation SSTIC 2018 (site de la conférence)
• Comité de pilotage RESSI 2018 (site de la conférence)
• Comité d'organisation SSTIC 2017 (site de la conférence)
• Comité de pilotage RESSI 2017 (site de la conférence)
• Comité d'organisation SSTIC 2016 (site de la conférence)
• Comité de pilotage RESSI 2016 (site de la conférence)
• Comité de programme WOOT 2015 (site de la conférence)
• Comité de programme SSTIC 2015 (site de la conférence)
• Comité de programme SSTIC 2014 (site de la conférence)
• Comité de programme SSTIC 2013 (site de la conférence)
• Comité de programme SSTIC 2012 (site de la conférence)