Guillaume Girol

According to our database, Guillaume Girol authored at least 5 papers between 2020 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

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

2020

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

Proceedings of the 29th USENIX Security Symposium, 2020