Symbolic Proofs for Lattice-Based Cryptography.
Gilles BartheXiong FanJoshua GancherBenjamin GrégoireCharlie JacommeElaine ShiPublished in: CCS (2018)
Keyphrases
- cellular automata
- theorem proving
- symbolic representation
- symbolic description
- high level
- symbolic reasoning
- real world
- connectionist systems
- database
- neural learning
- symbolic data
- mathematical proofs
- equational theories
- formal proofs
- associative learning
- connectionist learning
- sequent calculus
- connectionist models
- decision procedures
- theorem prover
- information security
- decision trees
- real time