Tristan Ninet

According to our database, Tristan Ninet authored at least 4 papers between 2019 and 2024.

Collaborative distances:

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

2024

PfComp: A Verified Compiler for Packet Filtering Leveraging Binary Decision Diagrams.

Clément Chavanon, Frédéric Besson, Tristan Ninet

Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2024

2020

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

Tristan Ninet

PhD thesis, 2020

2019

The Deviation Attack: A Novel Denial-of-Service Attack Against IKEv2.

Tristan Ninet, Axel Legay, Romaric Maillard, Louis-Marie Traonouez, Olivier Zendra

Proceedings of the 18th IEEE International Conference On Trust, 2019

Model Checking the IKEv2 Protocol Using Spin.

Tristan Ninet, Axel Legay, Romaric Maillard, Louis-Marie Traonouez, Olivier Zendra

Proceedings of the 17th International Conference on Privacy, Security and Trust, 2019