Application of Quantum Process Calculus to Higher Dimensional Quantum Protocols

by Simon J. Gay, Ittoop Vergheese Puthoor
Published 2014-07-01

Verification of Linear Optical Quantum Computing using Quantum Process Calculus

by Sonja Franke-Arnold, Simon J. Gay, Ittoop Vergheese Puthoor
Published 2014-08-01

Analysis of a Quantum Error Correcting Code using Quantum Process Calculus

by Timothy A. S. Davidson, Simon J. Gay, Rajagopal Nagarajan, Ittoop Vergheese Puthoor
Published 2012-10-01

Unconditionally secure digital signatures implemented in an eight-user quantum network

by Yoann Pelet, Ittoop Vergheese Puthoor, Natarajan Venkatachalam, Sören Wengerowsky, Martin Lončarić, Sebastian Philipp Neumann, Bo Liu, Željko Samec, Mario Stipčević, Rupert Ursin, Erika Andersson, John G Rarity, Djeylan Aktas, Siddarth Koduru Joshi
Published 2022-01-01