SpecCert: Specifying and Verifying Hardware-Based Security Enforcement. - Thomas Letan; Pierre Chifflier; Guillaume Hiet; Pierre Néron; Benjamin Morin (FM, 2016)

ILAB: An Interactive Labelling Strategy for Intrusion Detection. - Anaël Beaugnon; Pierre Chifflier; Francis R. Bach (RAID, 2017)

Writing Parsers Like it is 2017. - Pierre Chifflier; Geoffroy Couprie (IEEE Symposium on Security and Privacy Workshops, 2017)

Safe Parsers in Rust: Changing the World Step by Step. - Geoffroy Couprie; Pierre Chifflier (login Usenix Mag., 2017)

End-to-End Active Learning for Computer Security Experts. - Anaël Beaugnon; Pierre Chifflier; Francis R. Bach (AAAI Workshops, 2018)

Modular Verification of Programs with Effects and Effect Handlers in Coq. - Thomas Letan; Yann Régis-Gianas; Pierre Chifflier; Guillaume Hiet (FM, 2018)

Modular verification of programs with effects and effects handlers. - Thomas Letan; Yann Régis-Gianas; Pierre Chifflier; Guillaume Hiet (Formal Aspects Comput., 2021)

Striking Back at Cobalt: Using Network Traffic Metadata to Detect Cobalt Strike Masquerading Command and Control Channels. - Clément Parssegny; Johan Mazel; Olivier Levillain; Pierre Chifflier (ARES (1), 2025)

Overlapping Data in Network Protocols: Bridging OS and NIDS Reassembly Gap. - Lucas Aubard; Johan Mazel; Gilles Guette; Pierre Chifflier (DIMVA (2), 2025)

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 (CoRR, 2025)