18 citations · 51 across the 7 of their papers we have counts for
3 papers · 1 filter
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…