Symbolic Proofs for Lattice-Based Cryptography
Document Details
- Document Type
- Pub Defense Publication
- Publication Date
- Oct 15, 2018
- Source ID
- 10.1145/3243734.3243825
Entities
People
- Benjamin Grégoire
- Charlie Jacomme
- Elaine Shi
- Gilles Barthe
- Joshua Gancher
- Xiong Fan
Organizations
- Cornell University
- Institut National de Recherche en Informatique et en Automatique
- Instituto Madrileño de Estudios Avanzados
- Office of Naval Research