3 papers
quant-ph2024
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…
cs.FL2024
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…
quant-ph2024
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…