Post-Quantum Verification of Fujisaki-Okamoto.

Dominique Unruh

Published in: ASIACRYPT (1) (2020)

Keyphrases

model checking
quantum computing
face verification
quantum computation
quantum inspired
concurrent systems
data sets
real world
learning algorithm
support vector
evolutionary algorithm
formal verification