Denis Merigoux
2
Documents
Présentation
Personal web page: <https://merigoux.ovh>
Publications
- 2
- 1
- 1
- 2
- 1
- 1
- 1
|
Formally Verified Cryptographic Web Applications in WebAssemblySP 2019 - 40th IEEE Symposium on Security and Privacy, May 2019, San Francisco, United States. pp.1256-1274, ⟨10.1109/SP.2019.00064⟩
Communication dans un congrès
hal-02294935v1
|
|
Hacspec: succinct, executable, verifiable specifications for high-assurance cryptography embedded in Rust[Technical Report] Inria. 2021
Rapport
hal-03176482v1
|