Filter your results
- 2
- 1
- 1
- 1
- 1
- 3
- 1
- 2
- 1
- 3
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
sorted by
|
|
Robust reachability and model counting for software securityCryptography and Security [cs.CR]. Université Paris-Saclay, 2022. English. ⟨NNT : 2022UPASG071⟩
Theses
tel-03865452v1
|
||
Introducing robust reachabilityFormal Methods in System Design, 2022, ⟨10.1007/s10703-022-00402-x⟩
Journal articles
cea-04102731v1
|
|||
|
A Spectral Analysis of Noise: A Comprehensive, Automated, Formal Analysis of Diffie-Hellman ProtocolsUSENIX 2020 - 29th Usenix Security Symposium, Aug 2020, Virtual, United States
Conference papers
hal-03103869v1
|