Automated Proofs of Pairing-Based Cryptography

Document type :
Conference papers
Complete list of metadatas

https://hal.inria.fr/hal-01246713
Contributor : Benjamin Gregoire <>
Submitted on : Saturday, December 19, 2015 - 8:13:08 AM
Last modification on : Thursday, January 11, 2018 - 4:47:53 PM

Identifiers

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. ⟨10.1145/2810103.2813697⟩. ⟨hal-01246713⟩

Share

Metrics

Record views

203