Automated Proofs of Pairing-Based Cryptography - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2015

Automated Proofs of Pairing-Based Cryptography

Gilles Barthe
  • Function : Author
  • PersonId : 962305
Benjamin Grégoire
Benedikt Schmidt
No file

Dates and versions

hal-01246713 , version 1 (19-12-2015)



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⟩
121 View
0 Download



Gmail Facebook Twitter LinkedIn More