Guillaume Girol

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 6

Top Topics

Secure Communication

Formal Analysis

Signature Scheme

Key Agreement Protocol

Top Venues

Proc. ACM Program. Lang.

IACR Cryptol. ePrint Arch.

USENIX Security Symposium

Publications

Guillaume Girol, Guilhem Lacombe, Sébastien Bardin
Quantitative Robustness for Vulnerability Assessment. Proc. ACM Program. Lang. 8 (PLDI) (2024)
Guillaume Girol, Lucca Hirschi, Ralf Sasse, Dennis Jackson, Cas Cremers, David A. Basin
A Spectral Analysis of Noise: A Comprehensive, Automated, Formal Analysis of Diffie-Hellman Protocols. IACR Cryptol. ePrint Arch. 2024 (2024)
Yanis Sellami, Guillaume Girol, Frédéric Recoules, Damien Couroussé, Sébastien Bardin
Inference of Robust Reachability Constraints. Proc. ACM Program. Lang. 8 (POPL) (2024)
Sébastien Bardin, Guillaume Girol
A Quantitative Flavour of Robust Reachability. CoRR (2022)
Guillaume Girol, Benjamin Farinier, Sébastien Bardin
Not All Bugs Are Created Equal, But Robust Reachability Can Tell the Difference. CAV (1) (2021)
Guillaume Girol, Lucca Hirschi, Ralf Sasse, Dennis Jackson, Cas Cremers, David A. Basin
A Spectral Analysis of Noise: A Comprehensive, Automated, Formal Analysis of Diffie-Hellman Protocols. USENIX Security Symposium (2020)