Publications at the Joint Centre:
2012
Journal articles
- titre
- Verified Cryptographic Implementations for TLS
- auteur
- Karthikeyan Bhargavan, Ricardo Corin, Cédric Fournet, Eugen Zalinescu
- article
- ACM Transactions on Information and System Security, Association for Computing Machinery, 2012, 15 (1), pp.3:1-3:32. <10.1145/2133375.2133378>
- Accès au texte intégral et bibtex
-
