Analysis of a Quantum Error Correcting Code using Quantum Process Calculus - Timothy A. S. Davidson; Simon J. Gay; Rajagopal Nagarajan; Ittoop Vergheese Puthoor (QPL, 2011)

Application of Quantum Process Calculus to Higher Dimensional Quantum Protocols - Simon J. Gay; Ittoop Vergheese Puthoor (QPL, 2012)

Quantum Process Calculus for Linear Optical Quantum Computing. - Sonja Franke-Arnold; Simon J. Gay; Ittoop Vergheese Puthoor (RC, 2013)

Verification of Linear Optical Quantum Computing using Quantum Process Calculus. - Sonja Franke-Arnold; Simon J. Gay; Ittoop Vergheese Puthoor (EXPRESS/SOS, 2014)

Equational Reasoning About Quantum Protocols. - Simon J. Gay; Ittoop Vergheese Puthoor (RC, 2015)

Theory and applications of quantum process calculus. - Ittoop Vergheese Puthoor (2015)

Unconditionally secure digital signatures implemented in an 8-user quantum network. - Yoann Pelet; Ittoop Vergheese Puthoor; Natarajan Venkatachalam; Sören Wengerowsky; Martin Loncaric; Sebastian Philipp Neumann; Bo Liu; Zeljko Samec; Mario Stipcevic; Rupert Ursin; Erika Andersson; John G. Rarity; et al. (CoRR, 2022)

Formal verification of higher dimensional quantum protocols. - Ittoop Vergheese Puthoor (CoRR, 2024)