Creating and sharing knowledge for telecommunications

IT Member Profile

... Paulo Alexandre Carreira Mateus

Senior Researcher

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

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

SCHOLAR

Scientific Achievements

  • Agregação, Instituto Superior Técnico, 13-11-2006
  • PhD, Instituto Superior Técnico, 12-01-2001
  • Instituto Superior Técnico, 15-06-2019, Full Professor
14Supervision of PhD theses
As Supervisor
As Co-supervisor
8Supervision of MSc theses
As Co-supervisor
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 Faleiro, 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 Faleiro, 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, 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

Currently running projects3

Acronym Name Funding Agency Start date Ending date
PUFSeQure Physical uncloneable functions for quantum secure multi-party computation FCT 01-02-2025 31-07-2026
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

Closed Projects20

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
QuantaGenomics Quantum Enabled Secure Multiparty Computation for Genomic Medicine EU / FCT / Programme ERA-NET Cofund QuantERA II 01-05-2022 30-04-2025
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
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
1Editorial Committees
  • Editorial Board, Mathematics, 01-12-2020 - 31-01-2030

Activities from this researcher fall under the following United Nations Strategic Development Goals (SDGs):

© 2025, IT - Instituto de Telecomunicações | All Rights Reserved