Search filters

List of works by Paulo Mateus

A Process Algebra for Reasoning About Quantum Security

scientific article published in March 2007

A brief review on quantum bit commitment

scientific article published on 22 August 2014

Bit-string oblivious transfer based on quantum state computational distinguishability

scientific article published on 8 April 2015

Characterizations of one-way general quantum finite automata

scientific article published in February 2012

Enhancing Privacy with Quantum Networks

scientific article published in 2014

Extending Classical Logic for Reasoning About Quantum Systems

scientific article published in 2009

Improving Classical Authentication over a Quantum Channel

scientific article published on 11 December 2012

Model selection for clustering of pharmacokinetic responses

article

Multi-letter quantum finite automata: decidability of the equivalence and minimization of states

scientific article published in August 2011

Noise and measurement errors in a practical two-state quantum bit commitment protocol

scientific article published on 30 May 2014

Oblivious transfer based on single-qubit rotations

On the complexity of minimizing probabilistic and quantum automata

scientific article published in September 2012

Quantum Communications [Guest Editorial]

scientific article published in August 2013

Quantum blind signature with an offline repository

scientific article published in March 2015

Quantum key distribution with quantum walks

scholarly article by Chrysoula Vlachou et al published 15 September 2018 in Quantum Information Processing

Quantum secret sharing with classical Bobs

scientific article published on 10 January 2013

Quantum walk public-key cryptographic system

scientific article published in October 2015

Reasoning About Imperative Quantum Programs

scientific article published in May 2006

Reply to “Comment on ‘Bit-string oblivious transfer based on quantum state computational distinguishability’ ”

scientific article published on 30 October 2015

Security Analyses and Improvement of Arbitrated Quantum Signature with an Untrusted Arbitrator

scientific article published on 8 May 2013

Security Problems in the Quantum Signature Scheme with a Weak Arbitrator

scientific article published on 17 October 2013

State succinctness of two-way finite automata with quantum and classical states

scientific article published in August 2013

Statistical model for a quantum noiseless subsystem

scientific article published in March 2011

Temporal Logics for Reasoning about Quantum Systems

Towards Model-Checking Quantum Security Protocols

scientific article published in January 2007

Universality of quantum Turing machines with deterministic control

scientific article published on 26 February 2015