Model Checking the IKEv2 Protocol Using Spin. - Tristan Ninet; Axel Legay; Romaric Maillard; Louis-Marie Traonouez; Olivier Zendra (PST, 2019)

The Deviation Attack: A Novel Denial-of-Service Attack Against IKEv2. - Tristan Ninet; Axel Legay; Romaric Maillard; Louis-Marie Traonouez; Olivier Zendra (TrustCom/BigDataSE, 2019)

Formal verification of the Internet Key Exchange (IKEv2) security protocol. (Vérification formelle du protocole d'échange de clé IKEv2). - Tristan Ninet (2020)

PfComp: A Verified Compiler for Packet Filtering Leveraging Binary Decision Diagrams. - Clément Chavanon; Frédéric Besson; Tristan Ninet (CPP, 2024)