Pierre Chifflier
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
5
Active years
2016–2025
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | DIMVA | Overlapping Data in Network Protocols: Bridging OS and NIDS Reassembly Gap. | Lucas Aubard, Johan Mazel, Gilles Guette, Pierre Chifflier |
| 2025 | RAID | Overlapping IPv4, IPv6, and TCP data: exploring errors, test case context, and multiple overlaps inside network stacks and NIDSes with Pyrolyse. | Lucas Aubard, Johan Mazel, Gilles Guette, Pierre Chifflier |
| 2018 | AAAI | End-to-End Active Learning for Computer Security Experts. | Anal Beaugnon, Pierre Chifflier, Francis R. Bach |
| 2018 | FM | Modular Verification of Programs with Effects and Effect Handlers in Coq. | Thomas Letan, Yann Rgis-Gianas, Pierre Chifflier, Guillaume Hiet |
| 2017 | RAID | ILAB: An Interactive Labelling Strategy for Intrusion Detection. | Anal Beaugnon, Pierre Chifflier, Francis R. Bach |
| 2017 | SP | Writing Parsers Like it is 2017. | Pierre Chifflier, Geoffroy Couprie |
| 2016 | FM | SpecCert: Specifying and Verifying Hardware-Based Security Enforcement. | Thomas Letan, Pierre Chifflier, Guillaume Hiet, Pierre Nron, Benjamin Morin |