Symbolic Abstractions for Quantum Protocol Verification
share
This technical report explores the use of symbolic model and verifiers to model and analyze quantum protocols, such as quantum key distribution protocols or quantum bit-commitment schemes.
READ FULL TEXT