On the Security of Proofs of Sequential Work in a Post-Quantum World.
Jeremiah BlockiSeunghoon LeeSamson ZhouPublished in: ITC (2021)
Keyphrases
- information security
- network security
- information assurance
- security mechanisms
- security issues
- theorem proving
- functional requirements
- world model
- security threats
- quantum mechanics
- quantum inspired
- security policies
- statistical databases
- security requirements
- physical world
- theorem prover
- computer security
- cyber security
- quantum computing
- intrusion detection
- security problems