Over the past 27 years, quantum computing has seen a huge rise in interest from both
academia and industry. At the current rate, quantum computers are growing in size rapidly …

Property-based testing is a structured method for automated testing using program
specifications. We report on the design and implementation of what is to our knowledge the …

Quantum calculi and formalisms are useful tools for ensuring security and computational
capabilities in blockchain and cryptography. They aid in designing and analysing new …

Verification of quantum circuits is essential for guaranteeing correctness of quantum
algorithms and/or quantum descriptions across various levels of abstraction. In this work, we …

Reversible computation allows computation to proceed not only in the standard, forward
direction, but also backward, recovering past states. While reversible computation has …

Conference title, upper and lower case, bolded, 18 point type, centered Page 1 Future Optical
Networks in a 10 Year Time Frame Andrew Lord, Catherine White, Asif Iqbal 1BT Applied …

We define a formal framework for equivalence checking of sequential quantum circuits. The
model we adopt is a quantum state machine, which is a natural quantum generalization of …

While constructing practical quantum computers by big companies remains a challenge, the
application of quantum communication and cryptography has made remarkable progress …

Abstract Multiparty Session Types (MPSTs) offer a structured way of specifying
communication protocols and guarantee relevant communication properties, such as …

Quantum Key Distribution (QKD) and the Quantum Internet: The challenges facing this new
technology Page 1 Quantum Key Distribution (QKD) and the Quantum Internet: The challenges …