![](/img/cover-not-exists.png)
[IEEE 2019 IEEE 32nd Computer Security Foundations Symposium (CSF) - Hoboken, NJ, USA (2019.6.25-2019.6.28)] 2019 IEEE 32nd Computer Security Foundations Symposium (CSF) - Formalizing Constructive Cryptography using CryptHOL
Lochbihler, Andreas, Sefidgar, S. Reza, Basin, David, Maurer, UeliYear:
2019
Language:
english
DOI:
10.1109/CSF.2019.00018
File:
PDF, 291 KB
english, 2019