Search - CEA - Commissariat à l’énergie atomique et aux énergies alternatives Access content directly

Filter your results

3 Results
authFullName_s : Guillaume Girol
Image document

Robust reachability and model counting for software security

Guillaume Girol
Cryptography and Security [cs.CR]. Université Paris-Saclay, 2022. English. ⟨NNT : 2022UPASG071⟩
Theses tel-03865452v1

Introducing robust reachability

Guillaume Girol , Benjamin Farinier , Sébastien Bardin
Formal Methods in System Design, 2022, ⟨10.1007/s10703-022-00402-x⟩
Journal articles cea-04102731v1
Image document

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

Guillaume Girol , Lucca Hirschi , Ralf Sasse , Dennis Jackson , Cas Cremers , et al.
USENIX 2020 - 29th Usenix Security Symposium, Aug 2020, Virtual, United States
Conference papers hal-03103869v1