Publications
2024
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)
BibTeX
Document
Lien vers l'article en Open Access
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)
BibTeX
Document
Lien vers le projet open source
2023
A Privacy-Preserving Infrastructure to Monitor Encrypted DNS Logs par Adam Oumar Abdel-rahman, Olivier Levillain et Éric Totel (conférence CRiSIS)
BibTeX
Document
Présentation
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)
BibTeX
Présentation
Vidéo
2022
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)
BibTeX
Document
Présentation
Recherche d'indicateurs de compromission dans des journaux DNS chiffrés par Adam Oumar Abdel-rahman, Olivier Levillain et Éric Totel (conférence RESSI)
BibTeX
Présentation
GASP : a Generic Approach to Secure network Protocols par Aina Toky Rasoamanana et Olivier Levillain
BibTeX
Présentation
GASP : a Generic Approach to Secure network Protocols par Olivier Levillain
BibTeX
Présentation
2021
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))
BibTeX
Document
Présentation
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)
BibTeX
Document
Lien sur IEEE Access
2020
GASP : a Generic Approach to Secure network Protocols par Olivier Levillain (conférence RESSI)
BibTeX
Présentation
Implementation Flaws in TLS Stacks: Lessons Learned and Study of TLS 1.3 Benefits par Olivier Levillain (conférence CRiSIS)
BibTeX
Document
Présentation
Que faut-il attendre de DNS-over-HTTPS ? par François Contat et Olivier Levillain (conférence SSTIC)
BibTeX
Présentation
Wombat : one more Bleichenbacher Toolkit par Olivier Levillain et Aina Toky Rasoamanana (conférence SSTIC)
BibTeX
Présentation
2019
Analysis of QUIC Session Establishment and its Implementations par Eva Gagliardi et Olivier Levillain (conférence WISTP)
BibTeX
Document
Présentation
Wombat: one more Bleichenbacher attack toolkit par Olivier Levillain et Aina Toky Rasoamanana (conférence GreHack)
BibTeX
Présentation
Projet sur GitLab
Vidéo
2018
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)
BibTeX
Document
Présentation
Présentation d'un cours de programmation sécurisée par Olivier Levillain (conférence RESSI)
BibTeX
Document
Présentation
2017
Caradoc : une boîte à outils pour décortiquer et analyser sereinement les fichiers PDF par Guillaume Endignoux et Olivier Levillain (conférence SSTIC)
BibTeX
Document
Article dans les actes
Présentation
caradoc_0.3-1_amd64.deb
caradoc_0.3.1-1--jessie_amd64.deb
caradoc_0.3.1-1--stretch_amd64.deb
Projet sur GitHub
Concerto: A Methodology Towards Reproducible Analyses of TLS Datasets par Olivier Levillain, Maxence Tury et Nicolas Vivet (conférence RWC)
BibTeX
Document
Présentation
Projet sur GitHub
Papier sur eprint
BibTeX eprint
Vidéo
2016
A study of the TLS ecosystem par Olivier Levillain (soutenance de thèse)
BibTeX
Synthèse
Manuscrit
Liste des publications
Présentation
Un FizzBuzz pour le cyber par Éric Jaeger et Olivier Levillain (conférence SSTIC)
BibTeX
Document
Présentation
Vidéo
Caradoc: a pragmatic approach to PDF parsing and validation par Guillaume Endignoux, Olivier Levillain et Jean-Yves Migeon (conférence SPW (LangSec))
BibTeX
Document
Présentation
Projet sur GitHub
Vidéo de la présentation de Guillaume
2015
Mind your languages! par Olivier Levillain et Pierre Chifflier (conférence HES)
BibTeX
Présentation
Vidéo
SSL/TLS, 3 ans plus tard par Olivier Levillain (conférence SSTIC)
BibTeX
Document
Présentation
Vidéo
CyberEdu : intégrer la cybersécurité aux formations supérieures en informatique par Jean-Sylvain Chavanne et Olivier Levillain (conférence RESSI)
BibTeX
Présentation
Site de l'association CyberEdu
Mind your Language(s)! Langages de développement et sécurité par Olivier Levillain (conférence RESSI)
BibTeX
Présentation
TLS Record Protocol: Security Analysis and Defense-in-depth Countermeasures for HTTPS par Olivier Levillain, Baptiste Gourdin et Hervé Debar (conférence AsiaCCS)
BibTeX
Document
Présentation
Format Oracles on OpenPGP par Florian Maury, Jean-René Reinhard, Olivier Levillain et Henri Gilbert (conférence CT-RSA)
BibTeX
Document
Présentation
2014
Mind your Language(s): A Discussion about Languages and Security par Éric Jaeger et Olivier Levillain (conférence SPW (LangSec))
BibTeX
Document
Présentation
Parsifal: A Pragmatic Solution to the Binary Parsing Problem par Olivier Levillain (conférence SPW (LangSec))
BibTeX
Document
Présentation
Parsifal: une solution pour écrire rapidement des parsers binaires robustes et efficaces par Olivier Levillain (conférence JFLA)
BibTeX
Document
Présentation
2013
Parsifal: writing efficient and robust binary parsers, quickly par Olivier Levillain, Hervé Debar et Benjamin Morin (conférence CRiSIS)
BibTeX
Document
Présentation
Parsifal, ou comment écrire rapidement des parsers robustes et efficaces par Olivier Levillain (conférence SSTIC)
BibTeX
Document
Présentation
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)
BibTeX
Partie 1
Partie 2
Partie 3
Partie 4
Documents publiés sur le site de l'ANSSI
xsvgen sur GitHub
2012
One Year of SSL Internet Measurement par Olivier Levillain, Arnaud Ebalard, Benjamin Morin et Hervé Debar (conférence ACSAC)
BibTeX
Document
Présentation
SSL/TLS : état des lieux et recommandations par Olivier Levillain (conférence SSTIC)
BibTeX
Document
Document (version imprimable)
Présentation
2010
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)
BibTeX
Document
Présentation
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)
BibTeX
ACPI and SMI handlers: some limits to Trusted Computing par Loïc Duflot, Olivier Grumelard, Olivier Levillain et Benjamin Morin (Journal in Computer Virology)
BibTeX
Document
2009
ACPI et routine de traitement de la SMI : des limites à l'informatique de confiance ? par Loïc Duflot et Olivier Levillain (conférence SSTIC)
BibTeX
Document
Présentation
ACPI: Design Principles and Concerns par Loïc Duflot, Olivier Levillain et Benjamin Morin (conférence Trust)
BibTeX
Document
Présentation
Getting into the SMRAM: SMM Reloaded par Loïc Duflot, Olivier Levillain, Benjamin Morin et Olivier Grumelard (conférence CanSecWest)
BibTeX
Présentation
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)
BibTeX
Page du projet JavaSec sur le site de l'ANSSI
2008
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)
BibTeX
Document
Publications autour de Newspeak
Présentations et autres documents
2023
Les implémentations TLS dans tous leurs états par Olivier Levillain (conférence ESIEA Secure Edition)
BibTeX
Présentation
The (In)security of Network Protocol Implementations par Olivier Levillain (séminaire Sotern)
BibTeX
Présentation
2022
Cybersécurité : comment mieux sécuriser les protocoles réseaux par Olivier Levillain (podcast SciencesNum)
BibTeX
Podcast
Influence de la qualité des spécifications sur la sécurité logicielle par Olivier Levillain (conférence Collège de France)
BibTeX
Présentation
Lien vers le site du séminaire
2020
QUIC : que faut-il attendre de ce nouveau protocole de communication ? par Olivier Levillain (séminaire SoSySec)
BibTeX
Présentation
Lien vers le site du séminaire
Projet ANR GASP : vers une approche générique pour sécuriser les protocoles réseau par Olivier Levillain (séminaire R3S)
BibTeX
Présentation
Lien vers le site du séminaire
2019
Présentation de RESSI par Olivier Levillain (séminaire WISG)
BibTeX
Présentation
Étude pratique de l'attaque de Bleichenbacher avec Wombat par Olivier Levillain et Aina Toky Rasoamanana (séminaire Conférence ESSI)
BibTeX
Présentation
RFC 8446 - TLS 1.3 : que faut-il attendre de cette nouvelle version ? par Olivier Levillain (MISC)
BibTeX
Document
Version CC sur le site de l'éditeur
Prise en main de TLS 1.3 avec OpenSSL 1.1.1 par Olivier Levillain (Linux Magazine)
BibTeX
Document
Version CC sur le site de l'éditeur
2018
Parsifal: une solution pour écrire rapidement des parsers binaires robustes et efficaces par Olivier Levillain (séminaire Journée Langages, Types et Preuves)
BibTeX
Présentation
Entretien avec Olivier Levillain, expert en sécurité informatique par Émilien Gaspard et Olivier Levillain (Linux Magazine Hors Série)
BibTeX
Lien vers le site de l'éditeur
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)
BibTeX
Présentation
Intro
Les options pour faire du compilateur C un ami qui vous veut du bien par Olivier Levillain (Linux Magazine Hors Série)
BibTeX
Document
Version CC BY-NC-ND sur le site de l'éditeur
OpenID Connect : présentation du protocole et étude de l'attaque Broken End-User Authentication par Rémi Cassam Chenaï et Olivier Levillain (MISC)
BibTeX
Document
Version CC BY-NC-ND sur le site de l'éditeur
Colloque CyberEdu à Colmar par Marc Gilg et Olivier Levillain (séminaire CyberEdu à l'IUT de Colmar)
BibTeX
Introduction
Notions de cryptographie
Cryptographie appliquée : TLS
Langages et sécurité
Exemple de module sur le développement sécurisé
Application à l'embarqué
Apports de TLS 1.3 à la sécurité des communications sur internet par Olivier Levillain (séminaire SAMOVAR)
BibTeX
Présentation
Lien vers le site du séminaire
CyberEdu : intégrer la cybersécurité dans les enseignements en réseaux par Olivier Levillain (séminaire CyberEdu à l'université de Nantes)
BibTeX
Introduction
Mythes et réalités de la sécurité réseau
Réflexions sur le DNS
Présentation du stage 7b
Regard critique sur TLS
CyberEdu : pourquoi et comment parler de sécurité du numérique par Olivier Levillain (séminaire Carrefour des métiers Afpa)
BibTeX
Présentation
Analyses des configurations SSL/TLS de serveurs SMTP par Arthur Provost et Olivier Levillain (MISC)
BibTeX
Document
Version CC BY-NC-ND sur le site de l'éditeur
2017
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)
BibTeX
Présentation
CyberEdu : sécurité et développement par Olivier Levillain (séminaire CyberEdu à l'université de Poitiers)
BibTeX
Introduction
Langages et sécurité
Exemple de module sur le développement sécurisé
Discussion sur les langages
La sécurité du numérique dans les formations de l'enseignement supérieur par Pascal Chour et Olivier Levillain (conférence JRES)
BibTeX
Document
Présentation
Caradoc ou l'analyse de la structure de fichiers PDF par Olivier Levillain (séminaire Conférence ESSI)
BibTeX
Présentation
Intro
CyberEdu, ou l’ambition de former à la sécurité tous les acteurs du numérique par Olivier Levillain (1024)
BibTeX
Document
Page web de la revue sur le site de la SIF
CyberEdu : pourquoi et comment parler de sécurité du numérique par Olivier Levillain (séminaire CyberEdu à l'IUT d'Orléans)
BibTeX
Présentation
TLS : passé, présent et futur ? par Olivier Levillain (conférence Journées nationales du Pré-GDR Sécurité)
BibTeX
Présentation
Site des journées
TLS : analyse des vulnérabilités récentes et introduction à TLS 1.3 par Olivier Levillain (conférence FIC)
BibTeX
Présentation
2016
Une analyse de l'écosystème SSL/TLS par Olivier Levillain (séminaire Cryptographie de l'Université de Rennes 1)
BibTeX
Présentation
Site du séminaire
L'impact réel de la cryptographie obsolète sur la sécurité par Olivier Levillain (MISC)
BibTeX
Document
Version CC BY-NC-ND sur le site de l'éditeur
CyberEdu par Olivier Levillain (podcast NoLimitSecu)
BibTeX
Podcast
The real impact of obsolete cryptography, applied to SSL/TLS par Olivier Levillain (séminaire Cyber In Bretagne)
BibTeX
Présentation
Regards critiques sur SSL/TLS par Olivier Levillain (séminaire Confiance Numérique de l'Université d'Auvergne)
BibTeX
Présentation
Site du séminaire
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)
BibTeX
Présentation
Site des journées
2015
Regards critiques sur SSL/TLS par Olivier Levillain (séminaire SSL)
BibTeX
Présentation
Some thoughts on SSL/TLS from a (nearly) 6-year PhD student par Olivier Levillain (séminaire EURECOM)
BibTeX
Présentation
2014
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é)
BibTeX
Présentation
Vidéo
Mind your Language(s): A Discussion about Languages and Security par Olivier Levillain (conférence HIS)
BibTeX
Présentation
Regards critiques sur SSL/TLS par Olivier Levillain (séminaire Conférence ESSI)
BibTeX
Présentation
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)
BibTeX
Présentation
2013
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)
BibTeX
Présentation
Site du séminaire
Langages et sécurité - généralités et cas des langages fonctionnels par Éric Jaeger et Olivier Levillain (conférence JFLA)
BibTeX
Présentation
Exemples de code
2012
SSL/TLS : état des lieux et recommandations par Olivier Levillain (séminaire SAMOVAR)
BibTeX
Présentation
Lien vers le site du séminaire
SSL/TLS : état des lieux et recommandations par Olivier Levillain (séminaire CARAMEL du LORIA)
BibTeX
Présentation
2011
Les mécanismes de gestion interne d'une plate-forme informatique : SMM et ACPI par Loïc Duflot, Olivier Levillain et Benjamin Morin (MISC)
BibTeX
Document
Version CC BY-NC-ND sur le site de l'éditeur
Chiffrement de supports : principe, intérêts et limites par Loïc Duflot, Olivier Levillain et Alix Cazenave (Sécurité de l'information)
BibTeX
Projets logiciels
2023
DECRET par Clément Parssegny, dOlivier Levillain, Maxime Belair et Mathieu Bacou (contributeur)
Projet sur GitHub
2019
Wombat par Olivier Levillain et Aina Toky Rasoamanana (développeur principal)
Projet sur GitLab
2014
concerto par Olivier Levillain (développeur principal)
Projet sur GitHub
2011
parsifal par Olivier Levillain (développeur principal)
Projet sur GitHub
Participations à des comités de programme