Game-based cryptography in HOL.
Andreas LochbihlerS. Reza SefidgarBhargav BhattPublished in: Arch. Formal Proofs (2017)
Keyphrases
- cellular automata
- theorem prover
- digital educational games
- formal methods
- learning tools
- information security
- higher order logic
- natural deduction
- game based learning
- learning systems
- data sets
- mobile learning
- theorem proving
- data mining
- digital game based learning
- machine learning
- game based learning environment
- learning algorithm
- educational games
- learning experience
- multiscale
- bayesian networks
- mobile devices
- public key cryptography
- learning process
- cryptographic algorithms
- encryption algorithms
- intrusion detection
- context aware