Login / Signup
Invited talk: Formal Verification of Quantum Protocols.
Yuxin Deng
Published in:
FAVPQC@ICFEM (2022)
Keyphrases
</>
formal verification
invited talk
model checking
cryptographic protocols
knowledge discovery and data mining
selected papers
model checker
symbolic model checking
bounded model checking
automated verification
quantum computing
database
real world
genetic algorithm
program committee
program slicing