Tristan Ninet

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 3

Top Topics

Pspace Complete

Denial Of Service Attacks

Top Venues

TrustCom/BigDataSE

Publications

Clément Chavanon, Frédéric Besson, Tristan Ninet
PfComp: A Verified Compiler for Packet Filtering Leveraging Binary Decision Diagrams. CPP (2024)
Tristan Ninet, Axel Legay, Romaric Maillard, Louis-Marie Traonouez, Olivier Zendra
Model Checking the IKEv2 Protocol Using Spin. PST (2019)
Tristan Ninet, Axel Legay, Romaric Maillard, Louis-Marie Traonouez, Olivier Zendra
The Deviation Attack: A Novel Denial-of-Service Attack Against IKEv2. TrustCom/BigDataSE (2019)