Guillaume Girol
Orcid: 0009-0003-6734-1870
According to our database1,
Guillaume Girol
authored at least 7 papers
between 2021 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Proc. ACM Program. Lang., January, 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
2021
Proceedings of the Computer Aided Verification - 33rd International Conference, 2021