Denis Merigoux
1
Documents
Présentation
Personal web page: <https://merigoux.ovh>
Publications
- 1
- 1
- 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
|