Symbolic Abstractions for Quantum Protocol Verification

04/08/2019

∙

by   Lucca Hirschi, et al.

∙

0

∙

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.