Selected Publications

Articles

Conference Proceedings

Quantum cryptography beyond quantum key distribution: variants of quantum oblivious transfer (2023, Quantum Computing, Communication, and Simulation III: SPIE)

Protocols beyond just QKD on an eight-user quantum network (2021, Conference on Lasers and Electro-Optics CLEO)

Reconfigurable network for quantum digital signatures mediated by measurement-device-independent quantum key distribution (2017, QCrypt)

Verification of linear optical quantum computing using quantum process calculus (2014, Workshop on Expressiveness in Concurrency and Structural Operational Semantics)

Quantum process calculus for linear optical quantum computing (2013, 5th International Conference on Reversible Computation)

Analysis of a quantum error correcting code using quantum process calculus (2011, 8th International Workshop on Quantum Physics and Logic QPL2011)

Thesis