Skip to main content

Automated Analysis of Quantum Protocols

Raja Nagarajan ( Middlesex University )

I will discuss our ongoing research in the area of Quantum Formal Methods. I will present a concurrent language for describing quantum protocols, and tools/techniques for performing verification by model checking and equivalence checking. Since simulation of quantum systems using current computing technology is infeasible, we restrict ourselves to the stabilizer formalism for which there are efficient algorithms. For certain kinds of protocols, it is possible to extend our techniques to allow arbitrary (non-stabilizer) inputs. Despite the limitations of the stabilizer formalism and the restriction on the kinds of protocols that can be analysed using this approach, our tools can been used to specify and verify interesting and practical quantum protocols from teleportation to secret-sharing.

 

 

Share this: