Guillaume Girol

Orcid: 0009-0003-6734-1870

According to our database1, Guillaume Girol authored at least 7 papers between 2021 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Introducing robust reachability.
Formal Methods Syst. Des., October, 2024

Inference of Robust Reachability Constraints.
Proc. ACM Program. Lang., January, 2024

Quantitative Robustness for Vulnerability Assessment.
Proc. ACM Program. Lang., 2024

A Spectral Analysis of Noise: A Comprehensive, Automated, Formal Analysis of Diffie-Hellman Protocols.
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).
PhD thesis, 2022

A Quantitative Flavour of Robust Reachability.
CoRR, 2022

2021
Not All Bugs Are Created Equal, But Robust Reachability Can Tell the Difference.
Proceedings of the Computer Aided Verification - 33rd International Conference, 2021


  Loading...