Pierre Chifflier

Publication Activity (10 Years)

Years Active: 2016-2021
Publications (10 Years): 7

Top Topics

Active Learning

Security Enforcement

Dependency Parser

Intrusion Detection

Top Venues

Formal Aspects Comput.

IEEE Symposium on Security and Privacy Workshops

Publications

Thomas Letan, Yann Régis-Gianas, Pierre Chifflier, Guillaume Hiet
Modular verification of programs with effects and effects handlers. Formal Aspects Comput. 33 (1) (2021)
Anaël Beaugnon, Pierre Chifflier, Francis R. Bach
End-to-End Active Learning for Computer Security Experts. AAAI Workshops (2018)
Thomas Letan, Yann Régis-Gianas, Pierre Chifflier, Guillaume Hiet
Modular Verification of Programs with Effects and Effect Handlers in Coq. FM (2018)
Geoffroy Couprie, Pierre Chifflier
Safe Parsers in Rust: Changing the World Step by Step. login Usenix Mag. 42 (3) (2017)
Anaël Beaugnon, Pierre Chifflier, Francis R. Bach
ILAB: An Interactive Labelling Strategy for Intrusion Detection. RAID (2017)
Pierre Chifflier, Geoffroy Couprie
Writing Parsers Like it is 2017. IEEE Symposium on Security and Privacy Workshops (2017)
Thomas Letan, Pierre Chifflier, Guillaume Hiet, Pierre Néron, Benjamin Morin
SpecCert: Specifying and Verifying Hardware-Based Security Enforcement. FM (2016)