Pierre Chifflier

According to our database, Pierre Chifflier authored at least 7 papers between 2016 and 2021.

Collaborative distances:

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

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