118 citations · 381 across the 16 of their papers we have counts for
17 papers
Quantum Approximate Optimisation Algorithm for Protein Sidechain Packing
Sebastian O. M. Stewart, Nick Chancellor, Jonte R Hance +1
Sidechain packing is a critical stage in protein folding, with direct implications for structure-based drug discovery. Google DeepMind's tool, AlphaFold2, predicts protein backbone…
Formal verification of higher dimensional quantum protocols
Ittoop Vergheese Puthoor
Formal methods have been a successful approach for modelling and verifying the correctness of complex technologies like microprocessor chip design, biological systems and others. T…
Incomplete quantum oblivious transfer with perfect one-sided security
David Reichmuth, Ittoop Vergheese Puthoor, Petros Wallden +1
Oblivious transfer is a fundamental cryptographic primitive which is useful for secure multiparty computation. There are several variants of oblivious transfer. We consider 1 out o…
Quantum Rabin oblivious transfer using two pure states
Lara Stroh, James T. Peat, Mats Kroneberg +2
Oblivious transfer between two untrusting parties is an important primitive in cryptography. There are different variants of oblivious transfer. In Rabin oblivious transfer, the se…
Non-interactive XOR quantum oblivious transfer: optimal protocols and their experimental implementations
Lara Stroh, Nikola Horová, Robert Stárek +4
Oblivious transfer (OT) is an important cryptographic primitive. Any multi-party computation can be realised with OT as building block. XOR oblivious transfer (XOT) is a variant wh…
Experimental demonstration of optimal unambiguous two-out-of-four quantum state elimination
Jonathan W. Webb, Ittoop V. Puthoor, Joseph Ho +4
A core principle of quantum theory is that non-orthogonal quantum states cannot be perfectly distinguished with single-shot measurements. However, it is possible to exclude a subse…
Unconditionally secure digital signatures implemented in an 8-user quantum network
Yoann Pelet, Ittoop Vergheese Puthoor, Natarajan Venkatachalam +11
The ability to know and verifiably demonstrate the origins of messages can often be as important as encrypting the message itself. Here we present an experimental demonstration of…
Imperfect 1-out-of-2 quantum oblivious transfer: bounds, a protocol, and its experimental implementation
Ryan Amiri, Robert Stárek, David Reichmuth +6
Oblivious transfer is an important primitive in modern cryptography. Applications include secure multiparty computation, oblivious sampling, e-voting, and signatures. Information-t…
Unambiguous quantum state elimination for qubit sequences
Jonathan Crickmore, Ittoop Vergheese Puthoor, Berke Ricketti +3
Quantum state elimination measurements tell us what states a quantum system does not have. This is different from state discrimination, where one tries to determine what the state…
A group-theoretic approach to elimination measurements of qubit sequences
Mark Hillery, Erika Andersson, Ittoop Vergheese
Most measurements are designed to tell you which of several alternatives have occurred, but it is also possible to make measurements that eliminate possibilities and tell you an al…
Optimal simultaneous measurements of incompatible observables of a single photon
Adetunmise C. Dada, Will McCutcheon, Erika Andersson +6
Joint or simultaneous measurements of non-commuting quantum observables are possible at the cost of increased unsharpness or measurement uncertainty. Many different criteria exist…
Measurement-Device-Independent Quantum Digital Signatures
Ittoop Vergheese Puthoor, Ryan Amiri, Petros Wallden +2
Digital signatures play an important role in software distribution, modern communication and financial transactions, where it is important to detect forgery and tampering. Signatur…
Experimental measurement-device-independent quantum digital signatures over a metropolitan network
Hua-Lei Yin, Wei-Long Wang, Yan-Lin Tang +16
Quantum digital signatures (QDS) provide a means for signing electronic communications with informationtheoretic security. However, all previous demonstrations of quantum digital s…
Experimental measurement-device-independent quantum digital signatures
G. L. Roberts, M. Lucamarini, Z. L. Yuan +7
We propose and experimentally implement a novel reconfigurable quantum key distribution (QKD) scheme, where the users can switch in real time between conventional QKD and the recen…
Verification of Linear Optical Quantum Computing using Quantum Process Calculus
Sonja Franke-Arnold, Simon J. Gay, Ittoop Vergheese Puthoor
We explain the use of quantum process calculus to describe and analyse linear optical quantum computing (LOQC). The main idea is to define two processes, one modelling a linear opt…
Application of Quantum Process Calculus to Higher Dimensional Quantum Protocols
Simon J. Gay, Ittoop Vergheese Puthoor
We describe the use of quantum process calculus to describe and analyze quantum communication protocols, following the successful field of formal methods from classical computer sc…
Analysis of a Quantum Error Correcting Code using Quantum Process Calculus
Timothy A. S. Davidson, Simon J. Gay, Rajagopal Nagarajan +1
We describe the use of quantum process calculus to describe and analyze quantum communication protocols, following the successful field of formal methods from classical computer sc…