Vitale, Marco (2022) Verification of Quantum Bit Commitment Protocols using Bisimulation Techniques. [Laurea magistrale], Università di Bologna, Corso di Studio in Informatica [LM-DM270]