Paulo Mateus

ORCID

Publication Activity (10 Years)

Years Active: 1999-2024
Publications (10 Years): 54

Top Venues

CoRR

Quantum Inf. Process.

IACR Cryptol. ePrint Arch.

Entropy

Publications

Mariano Lemus, Ricardo Faleiro, Paulo Mateus, Nikola Paunkovic, André Souto
Quantum Kolmogorov complexity and quantum correlations in deterministic-control quantum Turing machines. Quantum 8 (2024)
Hao Li, Daowen Qiu, Le Luo, Paulo Mateus
Exact distributed quantum algorithm for generalized Simon's problem. Acta Informatica 61 (2) (2024)
Mário Silva, Ricardo Faleiro, Paulo Mateus, Emmanuel Zambrini Cruzeiro
A coherence-witnessing game and applications to semi-device-independent quantum key distribution. Quantum 7 (2023)
Mariano Lemus, Ricardo Faleiro, Paulo Mateus, Nikola Paunkovic, André Souto
Quantum Kolmogorov complexity and quantum correlations in deterministic-control quantum Turing machines. CoRR (2023)
Armando N. Pinto, Manuel B. Santos, Nuno A. Silva, Nelson J. Muga, Paulo Mateus
Oblivious Keys for Secure Multiparty Computation Obtained from a CV-QKD. ICTON (2023)
Nuno A. Silva, Maurício J. Ferreira, André Carvalho, André Souto, Nikola Paunkovic, Paulo Mateus, António Teixeira, Armando N. Pinto
A Network Server for Distributing Quantum Random Numbers. ICTON (2023)
Ligang Xiao, Daowen Qiu, Le Luo, Paulo Mateus
Distributed Shor's algorithm. Quantum Inf. Comput. 23 (1&2) (2023)
Francesco Massa, Preeti Yadav, Amir Moqanaki, Walter O. Krawec, Paulo Mateus, Nikola Paunkovic, André Souto, Philip Walther
Experimental Semi-quantum Key Distribution With Classical Users. Quantum 6 (2022)
Pedro Branco, Nico Döttling, Paulo Mateus
Two-Round Oblivious Linear Evaluation from Learning with Errors. Public Key Cryptography (1) (2022)
Bruno Mera, Paulo Mateus, Alexandra M. Carvalho
Model Complexity in Statistical Manifolds: The Role of Curvature. IEEE Trans. Inf. Theory 68 (9) (2022)
Manuel B. Santos, Paulo Mateus, Armando N. Pinto
Quantum Oblivious Transfer: A Short Review. Entropy 24 (7) (2022)
Manuel B. Santos, Ana C. Gomes, Armando N. Pinto, Paulo Mateus
Private Computation of Phylogenetic Trees Based on Quantum Technologies. IEEE Access 10 (2022)
Pedro Branco, Luís Fiolhais, Manuel Goulão, Paulo Martins, Paulo Mateus, Leonel Sousa
ROTed: Random Oblivious Transfer for embedded devices. IACR Cryptol. ePrint Arch. 2021 (2021)
Bruno Costa, Pedro Branco, Manuel Goulão, Mariano Lemus, Paulo Mateus
Randomized Oblivious Transfer for Secure Multiparty Computation in the Quantum Setting. Entropy 23 (8) (2021)
Zhenbang Rong, Daowen Qiu, Paulo Mateus, Xiangfu Zou
Mediated semi-quantum secure direct communication. Quantum Inf. Process. 20 (2) (2021)
Pedro Branco, Luís Fiolhais, Manuel Goulão, Paulo Martins, Paulo Mateus, Leonel Sousa
ROTed: Random Oblivious Transfer for embedded devices. IACR Trans. Cryptogr. Hardw. Embed. Syst. 2021 (4) (2021)
Zhengwei Xie, Daowen Qiu, Guangya Cai, Jozef Gruska, Paulo Mateus
Testing Boolean Functions Properties. Fundam. Informaticae 182 (4) (2021)
Manuel B. Santos, Armando N. Pinto, Paulo Mateus
Quantum and classical oblivious transfer: A comparative analysis. IET Quantum Commun. 2 (2) (2021)
Pedro Branco, Paulo Mateus, Carlos Salema, André Souto
Using Low-Density Parity-Check codes to improve the McEliece cryptosystem. Inf. Sci. 510 (2020)
Maria Ribeiro, Pedro Adão, Paulo Mateus
Formal Verification of Ethereum Smart Contracts Using Isabelle/HOL. Logic, Language, and Security (2020)
Pedro Branco, Nico Döttling, Paulo Mateus
Two-Round Oblivious Linear Evaluation from Learning with Errors. IACR Cryptol. ePrint Arch. 2020 (2020)
Mariano Lemus, João P. Beirão, Nikola Paunkovic, Alexandra M. Carvalho, Paulo Mateus
Information-Theoretical Criteria for Characterizing the Earliness of Time-Series Data. Entropy 22 (1) (2020)
Armando N. Pinto, Laura Ortiz, Manuel Santos, Ana C. Gomes, Juan Pedro Brito, Nelson J. Muga, Nuno A. Silva, Paulo Mateus, Vicente Martín
Quantum Enabled Private Recognition of Composite Signals in Genome and Proteins. ICTON (2020)
Mariana Gama, Paulo Mateus, André Souto
A Private Quantum Bit String Commitment. CoRR (2020)
Mariana Gama, Paulo Mateus, André Souto
A Private Quantum Bit String Commitment. Entropy 22 (3) (2020)
Bruno Mera, Paulo Mateus, Alexandra M. Carvalho
On the minmax regret for statistical manifolds: the role of curvature. CoRR (2020)
Preeti Yadav, Paulo Mateus, Nikola Paunkovic, André Souto
Quantum Contract Signing with Entangled Pairs. Entropy 21 (9) (2019)
Pedro Branco, Jintai Ding, Manuel Goulão, Paulo Mateus
A Framework for Universally Composable Oblivious Transfer from One-Round Key-Exchange. IMACC (2019)
Pedro Branco, Jintai Ding, Manuel Goulão, Paulo Mateus
A Framework for Universally Composable Oblivious Transfer from One-Round Key-Exchange. IACR Cryptol. ePrint Arch. 2019 (2019)
Pedro Branco, Paulo Mateus
A Traceable Ring Signature Scheme Based on Coding Theory. PQCrypto (2019)
Shiping Du, Daowen Qiu, Jozef Gruska, Paulo Mateus
Synthesis of quantum images using phase rotation. Quantum Inf. Process. 18 (9) (2019)
Samuel Arcadinho, Paulo Mateus
Time Series Imputation. CoRR (2019)
Pedro Branco, Manuel Goulão, Paulo Mateus
UC-Commitment Schemes with Phase-Adaptive Security from Trapdoor Functions. IACR Cryptol. ePrint Arch. 2019 (2019)
Pedro Branco, Paulo Mateus
A Traceable Ring Signature Scheme based on Coding Theory. IACR Cryptol. ePrint Arch. 2019 (2019)
Minghua Pan, Daowen Qiu, Paulo Mateus, Jozef Gruska
Entangling and disentangling in Grover's search algorithm. Theor. Comput. Sci. 773 (2019)
Mariano Lemus, Preeti Yadav, Paulo Mateus, Nikola Paunkovic, André Souto
On minimal assumptions to obtain a universally composable quantum bit commitment. ICTON (2019)
Mariano Lemus, Mariana F. Ramos, Preeti Yadav, Nuno A. Silva, Nelson J. Muga, Andre Souto, Nikola Paunkovic, Paulo Mateus, Armando N. Pinto
Generation and Distribution of Quantum Oblivious Keys for Secure Multiparty Computation. CoRR (2019)
Pedro Branco, Paulo Mateus
A Code-Based Linkable Ring Signature Scheme. ProvSec (2018)
Wei Zhang, Daowen Qiu, Paulo Mateus
Security of a single-state semi-quantum key distribution protocol. Quantum Inf. Process. 17 (6) (2018)
Chrysoula Vlachou, Walter O. Krawec, Paulo Mateus, Nikola Paunkovic, André Souto
Quantum key distribution with quantum walks. Quantum Inf. Process. 17 (11) (2018)
Rui P. Guerra, Alexandra M. Carvalho, Paulo Mateus
Model selection for clustering of pharmacokinetic responses. Comput. Methods Programs Biomed. 162 (2018)
Pedro Branco, Jintai Ding, Manuel Goulão, Paulo Mateus
Universally Composable Oblivious Transfer Protocol based on the RLWE Assumption. IACR Cryptol. ePrint Arch. 2018 (2018)
André Souto, Luís Antunes, Paulo Mateus, Andreia Teixeira
Witness Hiding Without Extractors or Simulators. CiE (2018)
Daowen Qiu, Hongfeng Gan, Guangya Cai, Paulo Mateus
Unambiguous Discrimination Between Mixed Quantum States Based on Programmable Quantum State Discriminators. ICIC (3) (2018)
Paulo Mateus, Daowen Qiu, Andre Souto
Quantum machines with classical control. CoRR (2017)
João Rasga, Cristina Sernadas, Paulo Mateus, Amílcar Sernadas
Decision and optimization problems in the unreliable-circuit logic. Log. J. IGPL 25 (3) (2017)
Wei Zhang, Daowen Qiu, Xiangfu Zou, Paulo Mateus
Analyses and improvement of a broadcasting multiple blind signature scheme based on quantum GHZ entanglement. Quantum Inf. Process. 16 (6) (2017)
João Luis Sobrinho, David Fialho, Paulo Mateus
Stabilizing BGP through distributed elimination of recurrent routing loops. ICNP (2017)
Paulo Mateus, Amílcar Sernadas, André Souto
Universality of quantum Turing machines with deterministic control. J. Log. Comput. 27 (1) (2017)
João Rasga, Cristina Sernadas, Paulo Mateus, Amílcar Sernadas
Decision and optimization problems in the Unreliable-Circuit Logic. CoRR (2016)
Zhiming Huang, Daowen Qiu, Paulo Mateus
Geometry and dynamics of one-norm geometric quantum discord. Quantum Inf. Process. 15 (1) (2016)
Chrysoula Vlachou, J. Rodrigues, Paulo Mateus, Nikola Paunkovic, André Souto
Quantum walks public key cryptographic system. CoRR (2016)
Daowen Qiu, Lvzhou Li, Paulo Mateus, Amílcar Sernadas
Exponentially more concise quantum recognition of non-RMM regular languages. J. Comput. Syst. Sci. 81 (2) (2015)
Xiangfu Zou, Daowen Qiu, Shengyu Zhang, Paulo Mateus
Semiquantum key distribution without invoking the classical party's measurement capability. Quantum Inf. Process. 14 (8) (2015)
Alexandra M. Carvalho, Pedro Adão, Paulo Mateus
Hybrid learning of Bayesian multinets for binary classification. Pattern Recognit. 47 (10) (2014)
André Souto, Paulo Mateus, Pedro Adão, Nikola Paunkovic
Oblivious transfer based on quantum state computational distinguishability. CoRR (2014)
Paulo Mateus, Nikola Paunkovic, João Rodrigues, André Souto
Enhancing Privacy with Quantum Networks. Communications and Multimedia Security (2014)
João Rodrigues, Paulo Mateus, Nikola Paunkovic, André Souto
Oblivious transfer based on single-qubit rotations. CoRR (2014)
Manuel Biscaia, David Henriques, Paulo Mateus
Decidability of Approximate Skolem Problem and Applications to Logical Verification of Dynamical Properties of Markov Chains. ACM Trans. Comput. Log. 16 (1) (2014)
Pedro Adão, Paulo Mateus, Luca Viganò
Protocol insecurity with a finite number of sessions and a cost-sensitive guessing intruder is NP-complete. Theor. Comput. Sci. 538 (2014)
Amílcar Sernadas, João Rasga, Cristina Sernadas, Paulo Mateus
Approximate reasoning about logic circuits with single-fan-out unreliable gates. J. Log. Comput. 24 (5) (2014)
Shenggen Zheng, Daowen Qiu, Jozef Gruska, Lvzhou Li, Paulo Mateus
State succinctness of two-way finite automata with quantum and classical states. Theor. Comput. Sci. 499 (2013)
Alexandra M. Carvalho, Pedro Adão, Paulo Mateus
Efficient Approximation of the Conditional Relative Entropy with Applications to Discriminative Learning of Bayesian Network Classifiers. Entropy 15 (7) (2013)
Manuel Biscaia, Pedro Baltazar, Paulo Mateus, Rajagopal Nagarajan
A Temporal Logic for Planning under Uncertainty. FLAIRS Conference (2013)
Sándor Imre, Paulo Mateus, Peter Nagy, Anton Zavriyev
Quantum Communications [Guest Editorial]. IEEE Commun. Mag. 51 (8) (2013)
Francisco Marcos de Assis, Aleksandar Stojanovic, Paulo Mateus, Yasser Omar
Improving Classical Authentication over a Quantum Channel. Entropy 14 (12) (2012)
David Henriques, Manuel Biscaia, Pedro Baltazar, Paulo Mateus
Decidability and complexity for ω-regular properties of stochastic systems. Log. J. IGPL 20 (6) (2012)
Paulo Mateus, Daowen Qiu, Lvzhou Li
On the complexity of minimizing probabilistic and quantum automata. Inf. Comput. 218 (2012)
Paulo Mateus, V. R. Vieira
Reducing factorization of a semiprime number to the integration of highly oscillatory functions. Appl. Math. Lett. 25 (11) (2012)
Lvzhou Li, Daowen Qiu, Xiangfu Zou, Lvjun Li, Lihua Wu, Paulo Mateus
Characterizations of one-way general quantum finite automata. Theor. Comput. Sci. 419 (2012)
Daowen Qiu, Lvzhou Li, Xiangfu Zou, Paulo Mateus, Jozef Gruska
Multi-letter quantum finite automata: decidability of the equivalence and minimization of states. Acta Informatica 48 (5-6) (2011)
Daowen Qiu, Paulo Mateus, Xiangfu Zou, Amílcar Sernadas
One-way quantum finite automata together with classical states CoRR (2009)
Pedro Baltazar, Paulo Mateus
Temporalization of Probabilistic Propositional Logic. LFCS (2009)
Paulo Mateus, Serge Vaudenay
On Privacy Losses in the Trusted Agent Model (Abstract). IACR Cryptol. ePrint Arch. 2009 (2009)
Paulo Mateus, Serge Vaudenay
On Tamper-Resistance from a Theoretical Viewpoint. CHES (2009)
Francisco Marcos de Assis, Paulo Mateus, Yasser Omar
Quantum Authentication of Classical Messages with Perfect Security CoRR (2008)
Pedro Adão, Paulo Mateus
A Process Algebra for Reasoning About Quantum Security. Electron. Notes Theor. Comput. Sci. 170 (2007)
Paulo Mateus, Filipe Moura, João Rasga
Transfering Proofs of Zero-Knowledge Systems with Quantum Correlations. ICQNM (2007)
Pedro Baltazar, Rohit Chadha, Paulo Mateus, Amílcar Sernadas
Towards Model-Checking Quantum Security Protocols. ICQNM (2007)
Rohit Chadha, Luís Cruz-Filipe, Paulo Mateus, Amílcar Sernadas
Reasoning about probabilistic sequential programs. Theor. Comput. Sci. 379 (1-2) (2007)
Pedro Baltazar, Paulo Mateus, Rajagopal Nagarajan, Nikolaos Papanikolaou
Exogenous Probabilistic Computation Tree Logic. Electron. Notes Theor. Comput. Sci. 190 (3) (2007)
Pedro Adão, Paulo Mateus, Tiago Reis, Luca Viganò
Towards a Quantitative Analysis of Security Protocols. Electron. Notes Theor. Comput. Sci. 164 (3) (2006)
Paulo Mateus, Amílcar Sernadas
Weakly complete axiomatization of exogenous quantum propositional logic. Inf. Comput. 204 (5) (2006)
Carlos Caleiro, Paulo Mateus, Amílcar Sernadas, Cristina Sernadas
Quantum Institutions. Essays Dedicated to Joseph A. Goguen (2006)
Rohit Chadha, Paulo Mateus, Amílcar Sernadas
Reasoning About Imperative Quantum Programs. MFPS (2006)
Rohit Chadha, Paulo Mateus, Amílcar Sernadas
Reasoning About States of Probabilistic Sequential Programs. CSL (2006)
Paulo Mateus, João Rasga, Cristina Sernadas
Modal Sequent Calculi Labelled with Truth Values: Cut Elimination. Log. J. IGPL 13 (2) (2005)
Paulo Mateus, Amílcar Sernadas
Weakly complete axiomatization of exogenous quantum propositional logic CoRR (2005)
Walter Alexandre Carnielli, Paulo Mateus
Editorial. Log. J. IGPL 13 (6) (2005)
Paulo Mateus, Amílcar Sernadas, Cristina Sernadas, Luca Viganò
Modal Sequent Calculi Labelled with Truth Values: Completeness, Duality and Analyticity. Log. J. IGPL 12 (3) (2004)
Paulo Mateus, Amílcar Sernadas
Reasoning About Quantum Systems. JELIA (2004)
Claudio Hermida, Paulo Mateus
Paracategories II: adjunctions, fibrations and examples from probabilistic automata theory. Theor. Comput. Sci. 311 (1-3) (2004)
Paulo Mateus, John C. Mitchell, Andre Scedrov
Composition of Cryptographic Protocols in a Probabilistic Polynomial-Time Process Calculus. CONCUR (2003)
Claudio Hermida, Paulo Mateus
Paracategories I: internal paracategories and saturated partial algebras. Theor. Comput. Sci. 309 (1-3) (2003)
Paulo Mateus, Manuel Cabral Morais, Cláudia Nunes, António Pacheco, Amílcar Sernadas, Cristina Sernadas
Categorical foundations for randomly timed automata. Theor. Comput. Sci. 308 (1-3) (2003)
Lutz Schröder, Paulo Mateus
Universal Aspects of Probabilistic Automata. Math. Struct. Comput. Sci. 12 (4) (2002)
Paulo Mateus, António Pacheco, Javier Pinto
Observations and the Probabilistic Situation Calculus. KR (2002)
Carlos Caleiro, Paulo Mateus, Jaime Ramos, Amílcar Sernadas
Combining Logics: Parchments Revisited. WADT (2001)
Paulo Mateus, António Pacheco, Javier Pinto, Amílcar Sernadas, Cristina Sernadas
Probabilistic Situation Calculus. Ann. Math. Artif. Intell. 32 (1-4) (2001)
Javier Pinto, Amílcar Sernadas, Cristina Sernadas, Paulo Mateus
Non-Determinism and Uncertainty in the Situation Calculus. Int. J. Uncertain. Fuzziness Knowl. Based Syst. 8 (2) (2000)

Paulo Mateus.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Paulo Mateus