Post-Quantum Verification of Fujisaki-Okamoto.
Dominique UnruhPublished in: IACR Cryptol. ePrint Arch. (2020)
Keyphrases
- quantum computation
- model checking
- formal verification
- formal analysis
- real time
- neural network
- case study
- image segmentation
- digital libraries
- artificial neural networks
- digital images
- particle swarm optimization
- data mining
- temporal logic
- signature verification
- data sets
- logic circuits
- quantum inspired
- functional verification
- database