Guillaume Girol

According to our database, Guillaume Girol authored at least 6 papers between 2021 and 2024.

Collaborative distances:

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

2024

Inference of Robust Reachability Constraints.

Yanis Sellami, Guillaume Girol, Frédéric Recoules, Damien Couroussé, Sébastien Bardin

Proc. ACM Program. Lang., January, 2024

Quantitative Robustness for Vulnerability Assessment.

Guillaume Girol, Guilhem Lacombe, Sébastien Bardin

Proc. ACM Program. Lang., 2024

A Spectral Analysis of Noise: A Comprehensive, Automated, Formal Analysis of Diffie-Hellman Protocols.

Guillaume Girol, Lucca Hirschi, Ralf Sasse, Dennis Jackson, Cas Cremers, David A. Basin

IACR Cryptol. ePrint Arch., 2024

2022

Robust reachability and model counting for software security. (Atteignabilité robuste et comptage de modèles pour la sécurité logicielle).

Guillaume Girol

PhD thesis, 2022

A Quantitative Flavour of Robust Reachability.

Sébastien Bardin, Guillaume Girol

CoRR, 2022

2021

Not All Bugs Are Created Equal, But Robust Reachability Can Tell the Difference.

Guillaume Girol, Benjamin Farinier, Sébastien Bardin

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021