Automated Proofs of Pairing-Based Cryptography
Document Details
- Document Type
- Pub Defense Publication
- Publication Date
- Oct 12, 2015
- Source ID
- 10.1145/2810103.2813697
Entities
People
- Benedikt Schmidt
- Benjamin Grégoire
- Gilles Barthe
Organizations
- Institut National de Recherche en Informatique et en Automatique
- Instituto Madrileño de Estudios Avanzados
- Office of Naval Research