Paulo Mateus - RankMe

110 papers A* 1A 1B 5C 5Misc 3Journal 76Unranked 18

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