Formalization of Quantum Protocols using Coq.
Jaap BoenderFlorian KammüllerRajagopal NagarajanPublished in: QPL (2015)
Keyphrases
- quantum computing
- quantum inspired
- quantum computation
- theorem prover
- knowledge representation
- formal methods
- quantum mechanics
- database
- formal analysis
- formal model
- social networks
- security protocols
- key distribution
- cryptographic protocols
- expert systems
- genetic algorithm
- logic circuits
- machine learning
- databases
- real time