Quantum security proofs using semi-classical oracles.
Andris AmbainisMike HamburgDominique UnruhPublished in: IACR Cryptol. ePrint Arch. (2018)
Keyphrases
- quantum computation
- quantum mechanics
- security policies
- access control
- information security
- security issues
- security threats
- network security
- test cases
- security problems
- quantum probability
- information assurance
- theorem proving
- security mechanisms
- cyber security
- data mining
- security systems
- intrusion detection
- security management
- functional requirements
- data security
- active learning
- lower bound