Paulo Alexandre Carreira Mateus

Paulo Mateus

Academic position:	Full Professor
Joining date:	31-12-2006
Roles in IT:	Senior Researcher
Thematic Line:	Basic Sciences and Enabling Technologies
Group:	Security and Quantum Information - Lx

Email: Send Email
Address: IT – Lisboa
Instituto Superior Técnico - Torre Norte - Piso 10
Av. Rovisco Pais, 1
1049 - 001 Lisboa
Tel: +351 21 841 84 54
Fax: +351 21 841 84 72

Alternative Personal Web Page

https://www.orcid.org/0000-0002-2393-8224

SCHOLAR

29-11-2024

Secure Communications: A UK-Portugal Dialogue

The “Secure Communications: A UK-Portugal Dialogue” event is part of an ongoing series organized by the British Embassy in Lisbon, focusing on pivotal topics in cybersecurity and emerging technologies.

07-11-2024

Quantum Technology for Space Security: IT Leads NATO-Funded QSCAN Project

The QSCAN project will demonstrate the Secure Multiparty Computation (SMC) protocol for Space Surveillance Tracking within the Portuguese Quantum Communication Infrastructure.

23-02-2024

QuantSecure idea won 3rd place in the 4th edition of IN3+ Award

IN3+ Award is the biggest award for supporting and promoting research and innovation in Portugal.

28-03-2022

Project Snapshot | SmartGlauco – Smart Drug Delivery Devices for Glaucoma Treatment

SmartGlauco offers an unprecedented opportunity to improve the state of art in glaucoma treatment.

Scientific Achievements

Degrees

Agregação, Instituto Superior Técnico, 13-11-2006
PhD, Instituto Superior Técnico, 12-01-2001

Affiliations

Instituto Superior Técnico, 15-06-2019, Full Professor

Academic Activities

14Supervision of PhD theses

As Supervisor

Post-quantum multiparty computation, PhD Student, Manuel Goulão, Expected conclusion 12-2025
Quantum Private Data Mining, PhD Student, Manuel Maria Trigueiros Sampaio Batalha dos Santos, Expected conclusion 03-2024
Reducing the Communication in Secure Computation, PhD Student, Pedro de Melo Branco, Defended 10-2023
Asymmetric Quantum Cryptography and Multipartite Correlations, PhD Student, Mariano José Lemus Hernández, Defended 03-2022
Nonlocality and Contextuality: Concepts and Applications in Quantum Information, PhD Student, Ricardo André Faleiro Miguel, Defended 03-2022
Practical Quantum Privacy Protocols, PhD Student, Preeti Yadav, Defended 12-2020
On the efficiency of recovering density operators from direct quantum correlations via Jaynes principle, PhD Student, Serena Di Giorgio, Defended 12-2020
Quantum walks in cryptography and finite-temperature topological phase transitions, PhD Student, Chrysoula Vlachou, Defended 09-2018
Quantum Adiabatic Computation, PhD Student, Ricardo Loura, Defended 04-2017
Quantum oblivious transfer, PhD Student, João Paulo do Amaral de Jesus Rodrigues, Defended 03-2017
Formal Reasoning About Temporal Properties in Dynamic Stochastic Systems., PhD Student, David João Barros Henriques, Defended 09-2016
Interplay between Probabilistic and Temporal Reasoning, PhD Student, Manuel Biscaia, Defended 06-2016
Model Checking of Quantum Security Protocols, PhD Student, Pedro Alexandre Cardoso Baltazar, Defended 07-2010

As Co-supervisor

Quantum Oblivious Key Distribution, PhD Student, Mariana Ferreira Ramos, Defended 05-2022

8Supervision of MSc theses

As Co-supervisor

Causal Discovery on Categorical Data with Geometric Complexity, MSc Student, Diogo Sousa Cruz, Concluded 07-2024
Formal Analysis of Ethereum Virtual Machine Bytecode Patterns, MSc Student, Bernardo Gastão Varanda da Silva Prates, Concluded 12-2019
Model-checking Ethereum smart contracts written in Vyper, MSc Student, Francisco Moreira da Silva Rogado Domingues, Concluded 12-2019
Time series analysis using restricted Boltzmann machines and dynamic Bayesian networks, MSc Student, João Henrique Fialho Rodrigues, Concluded 12-2019
Formal verification of Ethereum smart contracts using Isabelle/HOL, MSc Student, Maria Saraiva de Campos Mendes Ribeiro, Concluded 12-2019
Multivariate Correlations for Early Classification, MSc Student, João Pedro Carriço Beirão, Concluded 05-2018
Advances in Probabilistic Graphical Models, MSc Student, Margarida Nunes de Almeida Rodrigues de Sousa, Concluded 12-2017
Model Selection for Clustering of Pharmacokinetic Responses with the Minimum Description Length, MSc Student, Rui Pedro Pimentel de Almeida Guerra, Concluded 11-2017

Publications

2Books

D. Gomes, A. Sernadas, C. Sernadas, J. Rasga, P. Mateus, A Mathematical Primer on Linear Optimization, College Publications, London, 2019,
| BibTex
C. Caleiro, F. Dionísio, M.P.G. Gouveia, P. Mateus, J. Rasga, Logic and Computation -- Essays in Honour of Amilcar Sernadas, College Publications, London, 2017,
| BibTex

17Books Chapters

P. Mateus, P. Adão, M. Ribeiro, Formal Verification of Ethereum Smart Contracts Using Isabelle/HOL, Chapter in, Logic, Language, and Security Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday, Springer, Berlin, 2020
P. Mateus, P. Branco, A code-based linkable ring signature scheme, Chapter in, ProvSec Selected papers, Springer, Berlin, 2018
P. Mateus, N. Paunkovic, J. Rodrigues, A. Souto, Enhancing privacy with quantum networks, Chapter in, Proceedings of CMS 2014, Springer, Berlin, 2014
D. Qiu Qiu, L. Li, P. Mateus, Quantum finite automata, Chapter in, Handbook on Finite State based Models and Applications, J. Wang, CRC Press, 2012
A. Sernadas, C. Sernadas, J. Rasga, P. Mateus, Non-deterministic combination of connectives, Chapter in, Logic without Frontiers: Festschrift for Walter Alexandre Carnielli on the Occasion of his 60th Birthday, Jean-Yves Béziau and Marcelo Coniglio, College Publications, 2011
P. Mateus, J. Ramos, A. Sernadas, C. Sernadas, Temporal logics for reasoning about quantum systems, Chapter in, Semantic Techniques in Quantum Computation, pages 389-413, I. Mackie and S. Gay, Cambridge University Press, 2010
R. Chadha, P. Mateus, A. Sernadas, C. Sernadas, Extending classical logic for reasoning about quantum systems, Chapter in, Handbook of Quantum Logic and Quantum Structures: Quantum Logic, pages 325-372, K. Engesser, D. Gabbay and D. Lehmann, Elsevier Science, 2009
P. Baltazar, P. Mateus, Temporalization of probabilistic propositional logic, Chapter in, Logic Foundations of Computer Science 2009, volume 5407, Lecture Notes in Computer Science, pages 46-60, S. Artemov and A. Nerode, Springer, 2009
A. Sernadas, P. Mateus, Y. Omar, Quantum computation and information, Chapter in, A portrait of state-of-the-Art Research at the Technical University of Lisbon, pages 46-65, M.S. Pereira, Springer, 2007
R. Chadha, P. Mateus, A. Sernadas, Reasoning about states of probabilistic sequential programs, Chapter in, Computer Science Logic 2006 (CSL06), volume 4207 of Lecture Notes in Computer Science, pages 240-255, Z. Ésik, Springer, 2006
C. Caleiro, P. Mateus, A. Sernadas, C. Sernadas, Quantum institutions, Chapter in, Algebra, Meaning and Computation - Essays Dedicated to Joseph A. Goguen on the Ocassion of his 65th Birthday, volume 4060 of Lecture Notes in Computer Science, pages 50-64, K. Futatsugi, J.-P. Jouannaud, and J. Meseguer, Springer, San Diego, 2006
P. Mateus, Y. Omar, A quantum algorithm for closest pattern matching, Chapter in, Quantum Information Processing - From Theory to Experiment, volume 199 of NATO Sciense Series, IIIComputer and Systems Sciences, pages 180-183, D. Angelakis, M. Christandl, A. Ekert, A. Kay and S. Kulik, IOS Press, 2006
P. Mateus, A. Sernadas, C. Sernadas, Exogenous semantics approach to enriching logics, Chapter in, Essays on the Foundations of Mathematics and Logic, volume 1, pages 165-194, G. Sica, Polimetrica, 2005
P. Mateus, A. Sernadas, Reasoning about quantum systems, Chapter in, Logics in Artificial Intelligence, Ninth European Conference, JELIA'04, volume 3229 of Lecture Notes in Artificial Intelligence, pages 239--251, J. Alferes and J. Leite, Springer, 2004
P. Mateus, J. Mitchell, A. Scedrov, Composition of cryptographic protocols in a probabilistic polynomial-time process calculus, Chapter in, CONCUR 2003 - Concurrency Theory, volume 2761 of Lecture Notes in Computer Science, pages 327-349, R. Amadio and D. Lugiez, Springer, 2003
C. Caleiro, P. Mateus, J. Ramos, A. Sernadas, Combining logics: Parchments revisited, Chapter in, Recent Trends in Algebraic Development Techniques - Selected Papers, volume 2267 of Lecture Notes in Computer Science, pages 48-70, M. Cerioli and G. Reggio, Springer, 2001
P. Mateus, A. Sernadas, C. Sernadas, Realization of probabilistic automata: Categorical approach, Chapter in, Recent Trends in Algebraic Development Techniques - Selected Papers, volume 1827 of Lecture Notes in Computer Science, pages 237-251, Didier Bert and Christine Choppy, Springer, 2000

81Papers in Journals

Early Access

H. Li, D. Qiu Qiu, L. Luo, P. Mateus, Exact distributed quantum algorithm for generalized Simon’s problem, Acta Informatica, Vol., No., pp. -, March, 2024 | BibTex
F. Yang, D. Qiu Qiu, P. Mateus, Continuous-Variable Quantum Secret Sharing in Fast-Fluctuating Channels, ieee transactions on quantum engineering, Vol. 4, No. 4100809, pp. 1 - 9, November, 2023 | BibTex
L. Xiao, D. Qiu Qiu, P. Mateus, Distributed Shor's algorithm, Quantum Information and Computation, Vol. 23, No. 1&2, pp. 27 - 44, September, 2023 | BibTex

Published

M. Santos, P. Mateus, C. V. Vlachou, Quantum Universally Composable Oblivious Linear Evaluation, Quantum, Vol. 8, No., pp. 1507 - 1507, October, 2024 | BibTex
M. Lemus, R.F Miguel, N. Paunkovic, P. Mateus, A. Souto, Quantum Kolmogorov complexity and quantum correlations in deterministic-control quantum Turing machines, Quantum, Vol. 8, No. 1, pp. 1230 - 1230, January, 2024 | BibTex
M. Silva, R.F Miguel, P. Mateus, E. Z. C. Cruzeiro, A coherence-witnessing game and applications to semi-device-independent quantum key distribution, Quantum, Vol. 7, No. 1, pp. 1090 - 1106, August, 2023 | BibTex
B. Mera, P. Mateus, A. M. Carvalho, Model complexity in statistical manifolds: the role of curvature, IEEE Transactions on Information Theory, Vol. 68, No. 9, pp. 5619 - 5636, September, 2022 | BibTex
F. Massa, P. Yadav, A. Moqanaki, W. Krawec, P. Mateus, N. Paunkovic, A. Souto, P. Walther, Experimental Semi-quantum Key Distribution With Classical Users, Quantum, Vol. 6, No. 1, pp. 819 - 819, September, 2022 | BibTex
J. Tan, L. Xiao, D. Qiu Qiu, L. Luo, P. Mateus, Distributed quantum algorithm for Simon's problem, Physical Review A, Vol. 106, No. 3, pp. 032417 - 032417, September, 2022 | BibTex
M. Santos, P. Mateus, A. N. Pinto, Quantum Oblivious Transfer: A Short Review, Entropy, Vol. 24, No. 7, pp. 945 - 945, July, 2022 | BibTex
M. Santos, G. Gomes, A. N. Pinto, P. Mateus, Private Computation of Phylogenetic Trees based on Quantum Technologies, IEEE Access, Vol. 10, No. 0, pp. 38065 - 38088, March, 2022,
| Abstract | BibTex
P. Branco, L. Fiolhais, MG Goulão, P. Martins, P. Mateus, L. Sousa, ROTed: Random Oblivious Transfer for embedded devices, IACR Transactions on Cryptographic Hardware and Embedded Systems, Vol. 2021, No. 4, pp. 215 - 238, August, 2021 | BibTex
P. Mateus, S. Di Giorgio, On the Complexity of Finding the Maximum Entropy Compatible Quantum State, Mathematics, Vol. 9, No. 2, pp. 193 - 193, July, 2021 | BibTex
B. Costa, P. Mateus, P. Branco, MG Goulão, M. Lemus, Randomized Oblivious Transfer for Secure Multiparty Computation in the Quantum Setting, Entropy, Vol. 23, No. 8, pp. 1001 - 1001, July, 2021 | BibTex
M. Santos, A. N. Pinto, P. Mateus, Quantum and classical oblivious transfer: A comparative analysis, IET Quantum Communication, Vol. 2, No. 2, pp. 42 - 53, May, 2021 | BibTex
Z. Rong, D. Qiu Qiu, P. Mateus, X Zou Zou, Mediated semi-quantum secure direct communication, Quantum Information Processing, Vol. 20, No. 2, pp. 58 - 58, February, 2021 | BibTex
M. Lemus, M. F. Ramos, P. Yadav, N. A. Silva, N. J. Muga, A. Souto, N. Paunkovic, P. Mateus, A. N. Pinto, Generation and Distribution of Quantum Oblivious Keys for Secure Multiparty Computation, Applied Sciences (Switzerland), Vol. 10, No. 12, pp. 4080 - 4080, June, 2020,
| Abstract | BibTex
F C Ramalho, S. correia, L Fu, L. Dias, P. Adão, P. Mateus, M.R. Ferreira, P.S André, Super modules-based active QR codes for smart trackability and IoT: a responsive-banknotes case study, npj Flexible Electronics, Vol. 4, No. 1, pp. 1 - 11, June, 2020 | BibTex
W. Zhang, D. Qiu Qiu, P. Mateus, Single-state semi-quantum key distribution protocol and its security proof, International Journal of Quantum Information, Vol. 18, No. 04, pp. 2050013 - 2050013, June, 2020 | BibTex
S. Di Giorgio, P. Mateus, B. Mera, Recoverability from direct quantum correlations, Journal of Physics A: Mathematical and Theoretical, Vol. 43, No. 18, pp. 185301 - 185301, March, 2020 | BibTex
P. Branco, P. Mateus, C. Salema, A. Souto, Using Low-Density Parity-Check codes to improve the McEliece cryptosystem, Information Sciences, Vol. 510, No. -, pp. 243 - 255, February, 2020,
| Abstract | BibTex
M. Gama, P. Mateus, A. Souto, A Private Quantum Bit String Commitment, Entropy, Vol. 22, No. 3, pp. 272 - 272, February, 2020 | BibTex
M. Lemus, J. Beirão, N. Paunkovic, A. M. Carvalho, P. Mateus, Information-Theoretical Criteria for Characterizing the Earliness of Time-Series Data, Entropy, Vol. 22, No. 1, pp. 49 - 49, January, 2020 | BibTex
S. Du, D. Qiu Qiu, P. Mateus, J. Gruska, Synthesis of quantum images using phase rotation, Quantum Information Processing, Vol. 18, No. 1, pp. 286 - 286, September, 2019 | BibTex
P. Yadav, P. Mateus, N. Paunkovic, A. Souto, Quantum contract signing with entangled pairs., Entropy, Vol. 21, No. 9, pp. 821 - 821, August, 2019 | BibTex
S. Du, D. Qiu Qiu, P. Mateus, J. Gruska, Enhanced double random phase encryption of quantum images, Results in Physics, Vol. 13, No. 1, pp. 102161 - 102161, August, 2019 | BibTex
M. Pan, D. Qiu Qiu, P. Mateus, J. Gruska, Entangling and disentangling in Grover's search algorithm, Theoretical Computer Science, Vol. 773, No. 1, pp. 138 - 138, January, 2019 | BibTex
R. Guerra, A. M. Carvalho, P. Mateus, Model Selection for Clustering of Pharmacokinetic Responses, Computer Methods and Programs in Biomedicine, Vol. 162, No. 2018, pp. 11 - 18, August, 2018 | BibTex
C. V. Vlachou, W. Krawec, P. Mateus, N. Paunkovic, A. Souto, Quantum key distribution with quantum walks, Quantum Information Processing, Vol. 17, No., pp. 288 - 288, August, 2018 | BibTex
W. Zhang, D. Qiu Qiu, P. Mateus, Security of a single-state semi-quantum key distribution protocol, Quantum Information Processing, Vol. 17, No. 6, pp. 135 - 135, May, 2018 | BibTex
J. Rodrigues, P. Mateus, N. Paunkovic, A. Souto, Oblivious transfer based on single-qubit rotations, Journal of Physics A: Mathematical and Theoretical, Vol. 50, No. 20, pp. 205301 - 205301, April, 2017 | BibTex
J. Rasga, C. Sernadas, P. Mateus, A. Sernadas, Decision and optimization problems in the unreliable-circuit logic, Logic Journal of the IGPL, Vol. jzx00, No. 1, pp. 1 - 25, April, 2017 | BibTex
X Zhang, D. Qiu Qiu, X Zou Zou, P. Mateus, Analyses and improvement of a broadcasting multiple blind signature scheme based on quantum GHZ entanglement., Quantum Information Processing, Vol. in print, No. 1, pp. 1 - 1, April, 2017 | BibTex
J. Rodrigues, P. Mateus, N. Paunkovic, A simulator for discrete quantum walks on lattices, International Journal of Modern Physics C, Vol. 1, No. 1750055, pp. 1 - 21, March, 2017 | BibTex
A. Almeida, A. Stojanovic, N. Paunkovic, R. Loura Loura, N. J. Muga, N. A. Silva, P. Mateus, P.S André, A. N. Pinto, Implementation of a two-state quantum bit commitment protocol in optical fibers, Journal of Optics (United Kingdom), Vol. 18, No. 1, pp. 015202 - 015202, January, 2016,
| Abstract | BibTex
Z. H. Huang, D. Qiu Qiu, P. Mateus, Geometry and dynamics of one-norm geometric quantum discord, Quantum Information Processing, Vol. 15, No., pp. 301 - 326, January, 2016 | BibTex
Haozhen Situ, D. Qiu Qiu, P. Mateus, N. Paunkovic, Secure N-dimensional simultaneous dense coding and applications, International Journal of Quantum Information, Vol. 13, No. 6, pp. 155051-1 - 155051-25, December, 2015 | BibTex
C. V. Vlachou, P. Mateus, J. Rodrigues, N. Paunkovic, A. Souto, Quantum walk public-key cryptographic system, International Journal of Quantum Information, Vol. 13, No. 6, pp. 1550050-1 - 1550050-10, December, 2015 | BibTex
P. Mateus, A. Souto, A. Sernadas, Universality of quantum Turing machines with deterministic control, Journal of Logic and Computation, Vol., No., pp. Online -, November, 2015 | BibTex
A. Souto, P. Mateus, P. Adão, N. Paunkovic, Reply to “Comment on ‘Bit-string oblivious transfer based on quantum state computational distinguishability’ ”, Physical Review A - Atomic, Molecular, and Optical Physics, Vol. 92, No. 4, pp. 046302 - 046312, October, 2015,
| Abstract | BibTex
X Zou Zou, D. Qiu Qiu, S. Zhang Zhang, P. Mateus, Semiquantum key distribution without invoking the classical party’s measurement capability, Quantum Information Processing, Vol. 14, No. 8, pp. 2981 - 2996, August, 2015 | BibTex
A. Souto, P. Mateus, P. Adão, N. Paunkovic, Bit-string oblivious transfer based on quantum state computational distinguishability, Physical Review A - Atomic, Molecular, and Optical Physics, Vol. 91, No. 1, pp. 042306 - 042306, April, 2015,
| Abstract | BibTex
A. Souto, J. Ribeiro, P. Mateus, Quantum blind signature with an offline repository, International Journal of Quantum Information, Vol. 13, No. 2, pp. 1550016-1 - 1550016-21, April, 2015,
| Abstract | BibTex
D. Qiu Qiu, L. Li, P. Mateus, A. Sernadas, Exponentially more concise quantum recognition of non-RMM regular languages, Journal of Computer and System Sciences, Vol. 2015, No. 2, pp. 359 - 375, March, 2015 | BibTex
A. Souto, A. Sernadas, P. Mateus, Universality of quantum Turing machines with deterministic control, Journal of Logic and Computation, Vol. 1, No. 1, pp. 1 - 1, February, 2015,
| Abstract | BibTex
P. Mateus, M. Biscaia, D. Henriques, Decidability of Approximate Skolem Problem and Applications to Logical Verification of Dynamical Properties of Markov Chains, ACM Transactions on Computational Logic, Vol. 16, No. 1, pp. 4 - 4, December, 2014 | BibTex
A. Sernadas, J. Rasga, C. Sernadas, P. Mateus, Approximate reasoning about logic circuits with single-fan-out unreliable gates, Journal of Logic and Computation, Vol. 24, No. 5, pp. 1023 - 1069, October, 2014 | BibTex
P. Adão, P. Mateus, L. Viganò, Protocol Insecurity with a Finite Number of Sessions and a Cost-Sensitive Guessing Intruder is NP-Complete., Theoretical Computer Science, Vol. 538, No. 1, pp. 2 - 15, June, 2014 | BibTex
R. Loura Loura, A. Almeida, P.S André, A. N. Pinto, P. Mateus, N. Paunkovic, Noise and measurement errors in a practical two-state quantum bit commitment protocol, Physical Review A - Atomic, Molecular, and Optical Physics, Vol. 89, No. 5, pp. 052336-1 - 052336-15, May, 2014,
| Abstract | BibTex
A. M. Carvalho, P. Adão, P. Mateus, Hybrid learning of Bayesian multinets for binary classification, Pattern Recognition, Vol. 47, No. 10, pp. 3438 - 3450, April, 2014 | BibTex
D. Qiu Qiu, X. Zou, F You, P. Mateus, Security Problems in the Quantum Signature Scheme with a Weak Arbitrator, Intrnl. Journal of Theoretical Physics, Vol. 53, No. 2, pp. 603 - 611, January, 2014 | BibTex
D. Qiu Qiu, X. Zou, P. Mateus, Security Analyses and Improvement of Arbitrated Quantum Signature with an Untrusted Arbitrator, Intrnl. Journal of Theoretical Physics, Vol. 52, No. 9, pp. 3295 - 3305, December, 2013 | BibTex
S. Zheng, D. Qiu Qiu, J. Gruska, L. Li, P. Mateus, State succinctness of two-way finite automata with quantum and classical statesState succinctness of two-way finite automata with quantum and classical states, Theoretical Computer Science, Vol. 499, No. 1, pp. 98 - 112, November, 2013 | BibTex
A. M. Carvalho, P. Adão, P. Mateus, Efficient Approximation of the Conditional Relative Entropy with Applications to Discriminative Learning of Bayesian Network Classifiers, Entropy, Vol. 15, No. 7, pp. 2716 - 2735, July, 2013 | BibTex
L. Li, D. Qiu Qiu, P. Mateus, Quantum secret sharing with classical Bobs, Journal of Physics A: Mathematical and Theoretical, Vol. 46, No. 1, pp. 045304 - 045304, January, 2013 | BibTex
D. Henriques, M. Biscaia, P. Baltazar, P. Mateus, Decidability and complexity for omega-regular properties of stochastic systems, Logic Journal of the IGPL, Vol. 20, No. 6, pp. 1175 - 1201, December, 2012 | BibTex
F. Assis, A. Stojanovic, P. Mateus, Y. Omar, Improving classical authentication over a quantum channel, Entropy, Vol. 14, No. 12, pp. 2531 - 2549, December, 2012 | BibTex
P. Mateus, V. Vieira, Reducing the factorization of semiprime numbers to integrating highly oscillatory functions, Applied Mathematics Letters, Vol. 25, No. 11, pp. 1970 - 1974, September, 2012 | BibTex
P. Mateus, D. Qiu Qiu, L. Li, On the complexity of minimizing probabilistic and quantum automata, Information and Computation, Vol. 218, No. 1, pp. 36 - 53, March, 2012 | BibTex
L. Z. Zhou, D. Qiu Qiu, L. Li, L. Wu, P. Mateus, Characterizations of one-way general quantum finite automata, Theoretical Computer Science, Vol. 419, No. 1, pp. 73 - 91, March, 2012 | BibTex
N. Paunkovic, J. Bouda, P. Mateus, Fair and Optimistic Quantum Contract Signing, Physical Review A - Atomic, Molecular, and Optical Physics, Vol. 84, No. 6, pp. 062331 - 062331, December, 2011 | BibTex
D. Qiu Qiu, L. Li, X. Zou, P. Mateus, J. Gruska, Multi-letter quantum finite automata: Decidability of the equivalence and minimization of states., Acta Informatica, Vol. 48, No. 5-6, pp. 271 - 200, April, 2011 | BibTex
J. Nascimento, P. Mateus, Statistical Model for a Quantum Noiseless Subsystem, Optics Communications, Vol. 45, No. 3, pp. 11 - 23, January, 2011 | BibTex
J. Bouda, P. Mateus, N. Paunkovic, J. Rasga, On the power of quantum tamper-proof hardware, International Journal of Quantum Information, Vol. 6, No. 2, pp. 219 - 236, February, 2008 | BibTex
P. Baltazar, R. Chadha, P. Mateus, Quantum computation tree logic - model checking and complete calculus, International Journal of Quantum Information, Vol. 6, No. 2, pp. 281 - 302, January, 2008 | BibTex
P. Adão, P. Mateus, A process algebra for reasoning about quantum security, Electronic Notes in Theoretical Computer Science, Vol. 170, No., pp. 3 - 21, February, 2007 | BibTex
R. Chadha, L. Cruz-Filipe, P. Mateus, A. Sernadas, Reasoning about probabilistic sequential programs, Theoretical Computer Science, Vol. 379, No. 1-2, pp. 142 - 165, February, 2007 | BibTex
P. Baltazar, P. Mateus, R. Nagarajan, N. Papanikolaou, Exogenous probabilistic computation tree logic, Theoretical Computer Science, Vol. 190, No. 3, pp. 95 - 110, January, 2007 | BibTex
P. Adão, P. Mateus, T. Reis, L. Viganò, Towards a quantitative analysis of security protocols, Electronic Notes in Theoretical Computer Science, Vol. 164, No. 3, pp. 3 - 25, June, 2006 | BibTex
R. Chadha, P. Mateus, A. Sernadas, Reasoning about quantum imperative programs, Theoretical Computer Science, Vol. 158, No. -, pp. 19 - 40, May, 2006 | BibTex
P. Mateus, A. Sernadas, Weakly complete axiomatization of exogenous quantum propositional logic, Information and Computation, Vol. 204, No. 5, pp. 771 - 794, April, 2006 | BibTex
W. Carnielli, P. Mateus, Selected papers from CombLog'04, Logic Journal of the IGPL, Vol. 13, No. 6, pp. - - -, January, 2005 | BibTex
P. Mateus, J. Rasga, C. Sernadas, Modal sequent calculi labelle with truth values: Cut elimination, Logic Journal of the IGPL, Vol. 13, No. 2, pp. 173 - 199, January, 2005 | BibTex
C. Hermida, P. Mateus, Paracategories II: Adjunctions, fibrations and examples from probabilistic automata theory, Theoretical Computer Science, Vol. 311, No. -, pp. 71 - 103, January, 2005 | BibTex
P. Mateus, A. Sernadas, C. Sernadas, L. Viganò, Modal sequent calculi labelled with truth values: Completeness, duality and analyticity, Logic Journal of the IGPL, Vol. 12, No. 3, pp. 227 - 274, January, 2004 | BibTex
C. Hermida, P. Mateus, Paracategories I: Internal paracategories and saturated partial algebras, Theoretical Computer Science, Vol. 309, No., pp. 125 - 156, June, 2003 | BibTex
P. Mateus, M. Cabral Morais, C. Nunes, A. Pacheco, A. Sernadas, C. Sernadas, Categorical Foundations for Randomly Timed Automata, Theoretical Computer Science, Vol. 308, No. -, pp. 393 - 427, January, 2003 | BibTex
L. Schroeder, P. Mateus, Universal aspects of probabilistic automata, Mathematical Structures in Computer Science, Vol. 12, No. 4, pp. 481 - 512, March, 2002 | BibTex
P. Mateus, A. Pacheco, J. Pinto, A. Sernadas, C. Sernadas, Probabilistic situation calculus, Annals of Mathematics and Artificial Intelligence, Vol. 32, No. 1/4, pp. 393 - 431, January, 2001 | BibTex
JAP Pinto, A. Sernadas, C. Sernadas, P. Mateus, Non-determinism and uncertainty in the Situation Calculus, International Journal of Uncertainty, Fuzziness and Knowlege-Based Systems, Vol. 8, No. 2, pp. 127 - 149, January, 2000 | BibTex
P. Mateus, A. Sernadas, C. Sernadas, Precategories for combining probabilistic automata - Early version presented at FIREworks Meeting, Magdeburg, May 15-16, 1998. Presented at CTCS'99, Edinburgh, September 10-12, Theoretical Computer Science, Vol. 29, No. -, pp. - - -, January, 1999 | BibTex

13Papers in Conferences

N. A. Silva, M. J. Ferreira, M. A. Carvalho, A. Souto, N. Paunkovic, P. Mateus, A. Teixeira, A. N. Pinto, A Network Server for Distributing Quantum Random Numbers, International Conf. on Transparent Networks – ICTON, Bucharest, Romania, Vol., pp. -, July, 2023,
| Abstract | BibTex
M. Santos, A. N. Pinto, P. Mateus, G. Gomes, Quantum Secure Multiparty Computation of Phylogenetic Trees of SARS-CoV-2 Genome, Telecoms Conference (ConfTELE), Leiria, Portugal, February, 2021 | BibTex
A. N. Pinto, L. Ortiz, M. Santos, G. Gomes, J. Brito, N. J. Muga, N. A. Silva, P. Mateus, V. Martin, Quantum Enabled Private Recognition of Composite Signals in Genome and Proteins (Invited), International Conf. on Transparent Optical Networks - ICTON, Bari, Italy, July, 2020,
| Abstract | Full text (PDF 446 KBs) | BibTex
N. Paunkovic, M. Lemus, P. Yadav, P. Mateus, A. Souto, On minimal assumptions to obtain a universally composable quantum bit commitment, International Conference of Transparent Optical Network (ICTON), Angers, France, June, 2019 | BibTex
J. L. S. Sobrinho, D. Fialho, P. Mateus, Stabilizing BGP through distributed elimination of recurrent routing loops, IEEE International Conference on Network Protocols ICNP, Toronto, Canada, October, 2017,
| Abstract | BibTex
A. Almeida, R. Loura Loura, P.S André, A. N. Pinto, P. Mateus, N. Paunkovic, Noise and Measurement Errors in a Practical Two-State Quantum Bit Commitment Protocol in Optical Fibers, Conf. on Quantum Cryptography - QCRYPT, Paris, France, Vol. 1, pp. 1 - 3, September, 2014,
| Abstract | BibTex
A. Almeida, R. Loura Loura, N. Paunkovic, N. A. Silva, N. J. Muga, P. Mateus, P.S André, A. N. Pinto, A brief review on quantum bit commitment, International Conf. on Applications of Optics and Photonics - AOP, Aveiro, Portugal, Vol. 1, pp. 1 - 8, May, 2014 | BibTex
Y. Omar, P. Mateus, Quantum Tags for the Authentication of Classical Public Messages, Conf. on Telecommunications - ConfTele, St Maria da Feira, Portugal, Vol. 09, pp. 000 - 003, May, 2009,
| Abstract | BibTex
P. Baltazar, R. Chadha, P. Mateus, A. Sernadas, Towards model-checking quantum security protocols, Workshop on Quantum Security - QSEC, Guadeloupe, French Polynesia, Vol. -, pp. 0014 - -, January, 2007 | BibTex
P. Mateus, F. Moura, J. Rasga, Transferring proofs of zero-knowledge systems with quantum, Workshop on Quantum Security - QSEC, Guadeloupe, France, Vol. -, pp. 0009 - 0014, January, 2007 | BibTex
P. Mateus, A. Sernadas, Exogenous quantum logic, Comblog Workshop on Combination of Logics: Theory and Applications - CombLog, Lisboa, Portugal, Vol. -, pp. 141 - 149, January, 2004 | BibTex
P. Mateus, A. Pacheco, J. Pinto, Observations and the probabilistic situation calculus, International Conf. on Principles of Knowledge Representation and Reasoning - KR, Toulouse, France, Vol. -, pp. 327 - 338, April, 2002 | BibTex
J. Pinto, A. Sernadas, C. Sernadas, P. Mateus, Non-determinism and uncertainty in the Situation Calculus, International Florida AI Research Symp. - FLAIRS, Florida, United States, Vol. -, pp. 454 - 460, January, 1999 | BibTex

1Non-refereed Publications

C. V. Vlachou, M. Santos, P. Mateus, Quantum Universally Composable Oblivious Linear Evaluation, 2023,
| Other Resources

Projects

Currently running projects3

Acronym	Name	Funding Agency	Start date	Ending date
QSCAN	Quantum-Enabled Secure Multiparty Computation for Space Surveillance Tracking	NATO	01-03-2024	28-02-2027
QSNP	Quantum Secure Networks Partnership	EU	01-03-2023	31-08-2026
QuantaGenomics	Quantum Enabled Secure Multiparty Computation for Genomic Medicine	EU / FCT / Programme ERA-NET Cofund QuantERA II	01-05-2022	30-04-2025

Closed Projects19

Acronym	Name	Funding Agency	Start date	Ending date
ComFormCrypt	ComFormCrypt - Computational Semantics of Formal Methods in Cryptography	FCT/PTDC	01-02-2011	01-07-2014
Confident	Confident - Communication Contracts for Distributed Systems Development	FCT	01-05-2016	01-05-2019
CV-Quantum	Improving Security and Capacity Using Continuous Variables Quantum Communications	IT/LA	01-02-2014	01-06-2016
DP-PMI	Doctoral Programme in the Physics and Mathematics of Information: Foundations of Future Information Technologies (DP-PMI)	FCT	01-01-2014	01-12-2021
P-Quantum	Practical Quantum Communications	IT/LA	01-09-2011	01-08-2013
PREDICT	oPtical fibeR sEnsors for aDvanced applICaTions	FCT, IT/LA	01-01-2018	31-03-2023
PREDICT	Personalized therapy for RhEumatic DIseases via machine learning methods	FCT	01-01-2019	31-12-2021
Q.DOT	SI I&DT Copromoção Nr. 039728 - Distributed Quantum Oblivious Transfer	P2020	01-10-2019	30-06-2022
QSCRIPTED	Quantum Secure Communication Field Experiment	Gabinete Nacional de Segurança	10-05-2021	09-07-2021
QSec	Quantum Security	FCT/PTDC	01-11-2007	01-10-2009
QuanLog	Logic in Quantum Computation and Information	FCT/POCI	01-01-2005	01-12-2007
QuantPrivTel	QuantPrivTel: Quantum PrivateTelecommunications	FCT/PTDC	01-01-2010	01-06-2013
QuantTel	Quantum Secure Telecommunications	IT/LA	01-11-2008	01-10-2010
QuantumMining	Quantum Primitives for Privacy Preserving Data Mining	FCT	01-09-2018	28-02-2022
QuantumPrime	Generation of Prime Numbers Enabled by Quantum Technologies for Cryptographic Applications	FCT	01-02-2021	31-01-2024
QUESTS	QUANTUM ENABLED SECURITY AND PRIVACY IN VEHICULAR NETWORKS	FCT	01-02-2020	30-06-2022
QuGENOME	Quantum Enabled Private Recognition of Composite Signals in Genome	EU	01-12-2020	31-03-2022
QuRunner	Development of a quantum random number generator network server	IT	01-02-2020	31-07-2022
SmartGlauco	Smart Drug Delivery Device for Glaucoma Treatment	FCT	01-03-2021	29-02-2024

Other Scientific Achievements

1Awards

P. Mateus, Portuguese IBM Scientific Prize, Análise de sistemas de prova de conhecimento nulo, 01-02-2006

1Miscellaneous

N. Paunkovic, J. Bouda, P. Mateus, Quantum Commitments Based on Complementarity - Contract Signing. 9th Central European Quantum Information Processing Workshop 7-10 June 2012, Smolenice, Slovakia, Tutorial, Poster Session, 01-06-2012

14Short Courses and Seminars

P. Mateus, Enhancing privacy with quantum networks, Portugal, Lisbon, 10-2014
P. Mateus, On the complexity of minimizing probabilistic and quantum automata, United States, Pittsburgh, 02-2014
P. Mateus, Emulations of Quantum Turing Machines as Morphisms, Portugal, Coimbra, 01-2014
P. Adão, P. Mateus, A. Souto, A Quantum Digital Signature Scheme, Portugal, Lisboa, 05-2013
P. Mateus, Minimizing probabilistic and quantum automata, United Kingdom, Warwick, 09-2011
D. Qiu Qiu, L. Li, P. Mateus, Quantum finite automata: equivalence and minimization. Pseudo-Hermitian Hamiltonians in Quantum Physics IX,, China, Hangzhou, 06-2010
P. Mateus, How to change I & C with mathematics - First Anual CMU Portugal Conference, Portugal, Porto, 06-2009
P. Adão, P. Mateus, T. Reis, L. Viganò, Towards a Quantitative Analysis of Security Protocols, Austria, Vienna, 04-2006
P. Adão, P. Mateus, A Process Algebra for Reasoning About Quantum Security, United States, Chicago, 06-2005
A. Sernadas, P. Mateus, Exogeneous quantum logic, Portugal, Workshop on Compbination of Logics - Theory and Ap, 07-2004
A. Sernadas, P. Mateus, C. Sernadas, Exogeneous Probabilistic Logic, Portugal, Portuguese Category Seminar 03, Coimbra, 05-2003
A. Sernadas, P. Mateus, C. Sernadas, Combining Probabilistic Automata, Portugal, Segundo Encontro ACL, Figueira da Foz, 06-1998
A. Sernadas, P. Mateus, C. Sernadas, Aggregation and Interconnection of Probabilistic Automata, Portugal, 13th WADT, Lisboa, 04-1998
A. Sernadas, P. Mateus, C. Sernadas, Composição Categorial de Sistemas Estocásticos, Portugal, Encontro ESCOLA-ACL, Coimbra, 01-1998

Other Contributions

1Editorial Committees

Editorial Board, Mathematics, 01-12-2020 - 31-01-2030

IT Member Profile

Paulo Mateus

29-11-2024

Secure Communications: A UK-Portugal Dialogue

07-11-2024

Quantum Technology for Space Security: IT Leads NATO-Funded QSCAN Project

23-02-2024

QuantSecure idea won 3rd place in the 4th edition of IN3+ Award

28-03-2022

Project Snapshot | SmartGlauco – Smart Drug Delivery Devices for Glaucoma Treatment

Scientific Achievements

As Supervisor

As Co-supervisor

As Co-supervisor

Currently running projects3

Closed Projects19