Symbolic Abstractions for Quantum Protocol Verification

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.