Pierre Chifflier

According to our database, Pierre Chifflier authored at least 10 papers between 2016 and 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

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, August, 2025

Overlapping Data in Network Protocols: Bridging OS and NIDS Reassembly Gap.

Lucas Aubard, Johan Mazel, Gilles Guette, Pierre Chifflier

Proceedings of the Detection of Intrusions and Malware, and Vulnerability Assessment, 2025

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

Proceedings of the Availability, Reliability and Security - 20th International Conference, 2025

2021

Modular verification of programs with effects and effects handlers.

Thomas Letan, Yann Régis-Gianas, Pierre Chifflier, Guillaume Hiet

Formal Aspects Comput., 2021

2018

Modular Verification of Programs with Effects and Effect Handlers in Coq.

Thomas Letan, Yann Régis-Gianas, Pierre Chifflier, Guillaume Hiet

Proceedings of the Formal Methods - 22nd International Symposium, 2018

End-to-End Active Learning for Computer Security Experts.

Anaël Beaugnon, Pierre Chifflier, Francis R. Bach

Proceedings of the Workshops of the The Thirty-Second AAAI Conference on Artificial Intelligence, 2018

2017

Safe Parsers in Rust: Changing the World Step by Step.

Geoffroy Couprie, Pierre Chifflier

login Usenix Mag., 2017

Writing Parsers Like it is 2017.

Pierre Chifflier, Geoffroy Couprie

Proceedings of the 2017 IEEE Security and Privacy Workshops, 2017

ILAB: An Interactive Labelling Strategy for Intrusion Detection.

Anaël Beaugnon, Pierre Chifflier, Francis R. Bach

Proceedings of the Research in Attacks, Intrusions, and Defenses, 2017

2016

SpecCert: Specifying and Verifying Hardware-Based Security Enforcement.

Thomas Letan, Pierre Chifflier, Guillaume Hiet, Pierre Néron, Benjamin Morin

Proceedings of the FM 2016: Formal Methods, 2016