Constructive Cryptography in HOL.

Andreas Lochbihler S. Reza Sefidgar

Published in: Arch. Formal Proofs (2018)

Keyphrases

cellular automata
theorem prover
formal methods
natural deduction
information security
open shop scheduling
higher order logic
neural network
learning algorithm
artificial intelligence
decision trees
knowledge representation
encryption algorithms