Automated Proofs of Pairing-Based Cryptography

Type de document :
Communication dans un congrès
Proceedings of the 22nd Conference on Computer and Communications Security, Oct 2015, Denver, United States. 2015, 〈10.1145/2810103.2813697〉
Liste complète des métadonnées

https://hal.inria.fr/hal-01246713
Contributeur : Benjamin Gregoire <>
Soumis le : samedi 19 décembre 2015 - 08:13:08
Dernière modification le : jeudi 11 janvier 2018 - 16:47:53

Identifiants

Collections

Citation

Gilles Barthe, Benjamin Grégoire, Benedikt Schmidt. Automated Proofs of Pairing-Based Cryptography. Proceedings of the 22nd Conference on Computer and Communications Security, Oct 2015, Denver, United States. 2015, 〈10.1145/2810103.2813697〉. 〈hal-01246713〉

Partager

Métriques

Consultations de la notice

134