Tristan Ninet
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2019–2024
Best venue rank
B
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | CPP | PfComp: A Verified Compiler for Packet Filtering Leveraging Binary Decision Diagrams. | Clment Chavanon, Frdric Besson, Tristan Ninet |
| 2019 | PST | Model Checking the IKEv2 Protocol Using Spin. | Tristan Ninet, Axel Legay, Romaric Maillard, Louis-Marie Traonouez, Olivier Zendra |
| 2019 | TrustCom | The Deviation Attack: A Novel Denial-of-Service Attack Against IKEv2. | Tristan Ninet, Axel Legay, Romaric Maillard, Louis-Marie Traonouez, Olivier Zendra |