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)

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)

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

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

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