Login / Signup
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