Pierre Chifflier

13 papers A 2B 2Journal 5Unranked 4
YearRankTypeTitle / Venue / Authors
2025 — conf
Overlapping Data in Network Protocols: Bridging OS and NIDS Reassembly Gap.
DIMVA (2)
Lucas Aubard, Johan Mazel, Gilles Guette, Pierre Chifflier
2025 J jnl
Overlapping IPv4, IPv6, and TCP data: exploring errors, test case context and multiple overlaps inside network stacks and NIDSes with PYROLYSE.
CoRR
Lucas Aubard, Johan Mazel, Gilles Guette, Pierre Chifflier
2025 A conf
Overlapping IPv4, IPv6, and TCP data: exploring errors, test case context, and multiple overlaps inside network stacks and NIDSes with Pyrolyse.
RAID
Lucas Aubard, Johan Mazel, Gilles Guette, Pierre Chifflier
2025 J jnl
Overlapping data in network protocols: bridging OS and NIDS reassembly gap.
CoRR
Lucas Aubard, Johan Mazel, Gilles Guette, Pierre Chifflier
2025 J jnl
Striking Back At Cobalt: Using Network Traffic Metadata To Detect Cobalt Strike Masquerading Command and Control Channels.
CoRR
Clément Parssegny, Johan Mazel, Olivier Levillain, Pierre Chifflier
2025 — conf
Striking Back at Cobalt: Using Network Traffic Metadata to Detect Cobalt Strike Masquerading Command and Control Channels.
ARES (1)
Clément Parssegny, Johan Mazel, Olivier Levillain, Pierre Chifflier
2021 J jnl
Modular verification of programs with effects and effects handlers.
Formal Aspects Comput.
Thomas Letan, Yann Régis-Gianas, Pierre Chifflier, Guillaume Hiet
2018 — conf
End-to-End Active Learning for Computer Security Experts.
AAAI Workshops
Anaël Beaugnon, Pierre Chifflier, Francis R. Bach
2018 B conf
Modular Verification of Programs with Effects and Effect Handlers in Coq.
FM
Thomas Letan, Yann Régis-Gianas, Pierre Chifflier, Guillaume Hiet
2017 A conf
ILAB: An Interactive Labelling Strategy for Intrusion Detection.
RAID
Anaël Beaugnon, Pierre Chifflier, Francis R. Bach
2017 J jnl
Safe Parsers in Rust: Changing the World Step by Step.
login Usenix Mag.
Geoffroy Couprie, Pierre Chifflier
2017 — conf
Writing Parsers Like it is 2017.
IEEE Symposium on Security and Privacy Workshops
Pierre Chifflier, Geoffroy Couprie
2016 B conf
SpecCert: Specifying and Verifying Hardware-Based Security Enforcement.
FM
Thomas Letan, Pierre Chifflier, Guillaume Hiet, Pierre Néron, Benjamin Morin