Symbolic Proofs for Lattice-Based Cryptography.
Gilles BartheXiong FanJoshua GancherBenjamin GrégoireCharlie JacommeElaine ShiPublished in: IACR Cryptol. ePrint Arch. (2018)
Keyphrases
- cellular automata
- theorem prover
- theorem proving
- symbolic representation
- symbolic description
- high level
- information security
- decision procedures
- symbolic data
- formal proof
- mathematical proofs
- real world
- equational theories
- mathematical knowledge
- connectionist learning
- encryption algorithms
- natural deduction
- search algorithm
- bayesian networks
- decision trees
- website
- social networks