Communication Dans Un Congrès
Année : 2015
Benjamin Gregoire : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-01246713
Soumis le : samedi 19 décembre 2015-08:13:08
Dernière modification le : jeudi 16 mars 2023-04:10:27
Citer
Gilles Barthe, Benjamin Grégoire, Benedikt Schmidt. Automated Proofs of Pairing-Based Cryptography. Proceedings of the 22nd {ACM} {SIGSAC} Conference on Computer and Communications Security, Oct 2015, Denver, United States. ⟨10.1145/2810103.2813697⟩. ⟨hal-01246713⟩
Collections
124
Consultations
0
Téléchargements