Paulo Mateus

According to our database1, Paulo Mateus authored at least 78 papers between 1999 and 2020.

Collaborative distances:



In proceedings 
PhD thesis 





Using Low-Density Parity-Check codes to improve the McEliece cryptosystem.
Inf. Sci., 2020

Two-Round Oblivious Linear Evaluation from Learning with Errors.
IACR Cryptol. ePrint Arch., 2020

Information-Theoretical Criteria for Characterizing the Earliness of Time-Series Data.
Entropy, 2020

A Private Quantum Bit String Commitment.
Entropy, 2020

On the minmax regret for statistical manifolds: the role of curvature.
CoRR, 2020

Entangling and disentangling in Grover's search algorithm.
Theor. Comput. Sci., 2019

Synthesis of quantum images using phase rotation.
Quantum Inf. Process., 2019

A Traceable Ring Signature Scheme based on Coding Theory.
IACR Cryptol. ePrint Arch., 2019

A Framework for Universally Composable Oblivious Transfer from One-Round Key-Exchange.
IACR Cryptol. ePrint Arch., 2019

UC-Commitment Schemes with Phase-Adaptive Security from Trapdoor Functions.
IACR Cryptol. ePrint Arch., 2019

Quantum Contract Signing with Entangled Pairs.
Entropy, 2019

Generation and Distribution of Quantum Oblivious Keys for Secure Multiparty Computation.
CoRR, 2019

Time Series Imputation.
CoRR, 2019

Security of a single-state semi-quantum key distribution protocol.
Quantum Inf. Process., 2018

Quantum key distribution with quantum walks.
Quantum Inf. Process., 2018

Universally Composable Oblivious Transfer Protocol based on the RLWE Assumption.
IACR Cryptol. ePrint Arch., 2018

Model selection for clustering of pharmacokinetic responses.
Comput. Methods Programs Biomed., 2018

A Code-Based Linkable Ring Signature Scheme.
Proceedings of the Provable Security, 2018

Unambiguous Discrimination Between Mixed Quantum States Based on Programmable Quantum State Discriminators.
Proceedings of the Intelligent Computing Methodologies - 14th International Conference, 2018

Witness Hiding Without Extractors or Simulators.
Proceedings of the Sailing Routes in the World of Computation, 2018

Analyses and improvement of a broadcasting multiple blind signature scheme based on quantum GHZ entanglement.
Quantum Inf. Process., 2017

Universality of quantum Turing machines with deterministic control.
J. Log. Comput., 2017

Decision and optimization problems in the unreliable-circuit logic.
Log. J. IGPL, 2017

Quantum machines with classical control.
CoRR, 2017

Stabilizing BGP through distributed elimination of recurrent routing loops.
Proceedings of the 25th IEEE International Conference on Network Protocols, 2017

Geometry and dynamics of one-norm geometric quantum discord.
Quantum Inf. Process., 2016

Quantum walks public key cryptographic system.
CoRR, 2016

Semiquantum key distribution without invoking the classical party's measurement capability.
Quantum Inf. Process., 2015

Exponentially more concise quantum recognition of non-RMM regular languages.
J. Comput. Syst. Sci., 2015

Decidability of Approximate Skolem Problem and Applications to Logical Verification of Dynamical Properties of Markov Chains.
ACM Trans. Comput. Log., 2014

Protocol insecurity with a finite number of sessions and a cost-sensitive guessing intruder is NP-complete.
Theor. Comput. Sci., 2014

Hybrid learning of Bayesian multinets for binary classification.
Pattern Recognit., 2014

Approximate reasoning about logic circuits with single-fan-out unreliable gates.
J. Log. Comput., 2014

Oblivious transfer based on quantum state computational distinguishability.
CoRR, 2014

Oblivious transfer based on single-qubit rotations.
CoRR, 2014

Enhancing Privacy with Quantum Networks.
Proceedings of the Communications and Multimedia Security, 2014

State succinctness of two-way finite automata with quantum and classical states.
Theor. Comput. Sci., 2013

Efficient Approximation of the Conditional Relative Entropy with Applications to Discriminative Learning of Bayesian Network Classifiers.
Entropy, 2013

Quantum Communications [Guest Editorial].
IEEE Commun. Mag., 2013

A Temporal Logic for Planning under Uncertainty.
Proceedings of the Twenty-Sixth International Florida Artificial Intelligence Research Society Conference, 2013

Quantum Finite Automata.
Proceedings of the Handbook of Finite State Based Models and Applications., 2012

Characterizations of one-way general quantum finite automata.
Theor. Comput. Sci., 2012

Decidability and complexity for ω-regular properties of stochastic systems.
Log. J. IGPL, 2012

On the complexity of minimizing probabilistic and quantum automata.
Inf. Comput., 2012

Improving Classical Authentication over a Quantum Channel.
Entropy, 2012

Reducing factorization of a semiprime number to the integration of highly oscillatory functions.
Appl. Math. Lett., 2012

Multi-letter quantum finite automata: decidability of the equivalence and minimization of states.
Acta Informatica, 2011

On Privacy Losses in the Trusted Agent Model (Abstract).
IACR Cryptol. ePrint Arch., 2009

One-way quantum finite automata together with classical states
CoRR, 2009

Temporalization of Probabilistic Propositional Logic.
Proceedings of the Logical Foundations of Computer Science, International Symposium, 2009

On Tamper-Resistance from a Theoretical Viewpoint.
Proceedings of the Cryptographic Hardware and Embedded Systems, 2009

Quantum Authentication of Classical Messages with Perfect Security
CoRR, 2008

Reasoning about probabilistic sequential programs.
Theor. Comput. Sci., 2007

Exogenous Probabilistic Computation Tree Logic.
Electron. Notes Theor. Comput. Sci., 2007

A Process Algebra for Reasoning About Quantum Security.
Electron. Notes Theor. Comput. Sci., 2007

Transfering Proofs of Zero-Knowledge Systems with Quantum Correlations.
Proceedings of the First International Conference on Quantum, Nano, and Micro Technologies, 2007

Towards Model-Checking Quantum Security Protocols.
Proceedings of the First International Conference on Quantum, Nano, and Micro Technologies, 2007

Weakly complete axiomatization of exogenous quantum propositional logic.
Inf. Comput., 2006

Reasoning About Imperative Quantum Programs.
Proceedings of the 22nd Annual Conference on Mathematical Foundations of Programming Semantics, 2006

Towards a Quantitative Analysis of Security Protocols.
Electron. Notes Theor. Comput. Sci., 2006

Reasoning About States of Probabilistic Sequential Programs.
Proceedings of the Computer Science Logic, 20th International Workshop, 2006

Quantum Institutions.
Proceedings of the Algebra, Meaning, and Computation, 2006

Modal Sequent Calculi Labelled with Truth Values: Cut Elimination.
Log. J. IGPL, 2005

Log. J. IGPL, 2005

Paracategories II: adjunctions, fibrations and examples from probabilistic automata theory.
Theor. Comput. Sci., 2004

Modal Sequent Calculi Labelled with Truth Values: Completeness, Duality and Analyticity.
Log. J. IGPL, 2004

Reasoning About Quantum Systems.
Proceedings of the Logics in Artificial Intelligence, 9th European Conference, 2004

Categorical foundations for randomly timed automata.
Theor. Comput. Sci., 2003

Paracategories I: internal paracategories and saturated partial algebras.
Theor. Comput. Sci., 2003

Composition of Cryptographic Protocols in a Probabilistic Polynomial-Time Process Calculus.
Proceedings of the CONCUR 2003, 2003

Universal Aspects of Probabilistic Automata.
Math. Struct. Comput. Sci., 2002

Observations and the Probabilistic Situation Calculus.
Proceedings of the Eights International Conference on Principles and Knowledge Representation and Reasoning (KR-02), 2002

Probabilistic Situation Calculus.
Ann. Math. Artif. Intell., 2001

Combining Logics: Parchments Revisited.
Proceedings of the Recent Trends in Algebraic Development Techniques, 2001

Non-Determinism and Uncertainty in the Situation Calculus.
Int. J. Uncertain. Fuzziness Knowl. Based Syst., 2000

Precategories for combining probabilistic automata.
Proceedings of the Conference on Category Theory and Computer Science, 1999

Realization of Probabilistic Automata: Categorial Approach.
Proceedings of the Recent Trends in Algebraic Development Techniques, 1999

Nondeterminism and Uncertainty in the Situation Calculus.
Proceedings of the Twelfth International Florida Artificial Intelligence Research Society Conference, 1999