55 citations · 124 across the 12 of their papers we have counts for
12 papers
QBugs: A Collection of Reproducible Bugs in Quantum Algorithms and a Supporting Infrastructure to Enable Controlled Quantum Software Testing and Debugging Experiments
José Campos, André Souto
Reproducibility and comparability of empirical results are at the core tenet of the scientific method in any scientific field. To ease reproducibility of empirical studies, several…
Quantum key distribution with quantum walks
Chrysoula Vlachou, Walter Krawec, Paulo Mateus +2
Quantum key distribution is one of the most fundamental cryptographic protocols. Quantum walks are important primitives for computing. In this paper we take advantage of the proper…
Quantum machines with classical control
Paulo Mateus, Daowen Qiu, Andre Souto
Herein we survey the main results concerning quantum automata and machines with classical control. These machines were originally proposed by Sernadas et al in [37], during the FCT…
Quantum walks public key cryptographic system
C. Vlachou, J. Rodrigues, P. Mateus +2
Quantum Cryptography is a rapidly developing field of research that benefits from the properties of Quantum Mechanics in performing cryptographic tasks. Quantum walks are a powerfu…
Oblivious transfer based on single-qubit rotations
J. Rodrigues, P. Mateus, N. Paunković +1
We present a bit-string quantum oblivious transfer protocol based on single-qubit rotations. Our protocol is built upon a previously proposed quantum public-key protocol and its pr…
Oblivious transfer based on quantum state computational distinguishability
A. Souto, P. Mateus, P. Adão +1
Oblivious transfer protocol is a basic building block in cryptography and is used to transfer information from a sender to a receiver in such a way that, at the end of the protocol…