???global.info.a_carregar???
Paulo Mateus completou o seu doutoramento em Matemática e prosseguiu para um pós-doutoramento na Universidade da Pensilvânia. Foi laureado com o prémio científico da IBM em Portugal, em 2005, em reconhecimento da sua tese de agregação. Mais recentemente, em 2024 obteve o 3º prémio de inovação IN3+ atribuído pela Imprensa Nacional-Casa da Moeda, prémio este que partilhou com uma equipa de três outros colegas. Presentemente, é Professor Catedrático no Departamento de Matemática do Instituto Superior Técnico e investigador no Instituto de Telecomunicações (IT). Em 2006, fundou e lidera o Grupo de Segurança e Informação Quântica do IT. O seu trabalho de investigação incide atualmente sobre a utilização da teoria da informação, complexidade e recursos quânticos para a segurança na comunicação, tendo sido autor e coautor de mais de 70 artigos em revistas internacionais sujeitas a arbitragem científica na área da matemática e domínios conexos. Orientou 13 alunos de doutoramento e coordenou diversos projetos a nível nacional e internacional, tendo sido editor convidado para o Logic Journal of the IGPL e para a IEEE Communications, além de ter integrado comités de programa de múltiplos workshops e conferências. Foi convidado pelas fundações científicas húngara (OTKA), checa (GACR) e pelo Ministério da Ciência e Tecnologia de Israel para integrar o painel de avaliação dos seus projetos nacionais e bolsas de pós-doutoramento. Integrou o Conselho de Administração da Agência Europeia de Rede e Informação de Segurança (ENISA), exerceu funções de vice-presidente no Centro Internacional de Matemática e foi consultor para o Gabinete Nacional de Segurança, coordenando o projeto de desenvolvimento da cifra nacional.
Read full resume ↓
Identification

Personal identification

Full name
Paulo Mateus

Citation names

  • Mateus, Paulo

Author identifiers

Ciência ID
D513-5977-A466
ORCID iD
0000-0002-2393-8224

Email addresses

  • paulo.mateus@tecnico.ulisboa.pt (Professional)

Websites

Knowledge fields

  • Exact Sciences - Mathematics

Languages

Language Speaking Reading Writing Listening Peer-review
Portuguese Advanced (C1) Advanced (C1) Advanced (C1) Advanced (C1)
English Advanced (C1) Advanced (C1) Advanced (C1) Advanced (C1)
French Beginner (A1) Intermediate (B1) Beginner (A1) Beginner (A1)
Spanish; Castilian Beginner (A1)
Education
Degree Classification
2006
Concluded
 Agregação em Matemática (Título de Agregado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
 Aprovado por unanimidade
2001
Concluded
 Doutoramento em Matemática (Doutoramento)
Universidade de Lisboa Instituto Superior Técnico, Portugal
1997
Concluded
 Licenciatura em Matemática Aplicada e Computadores (Licenciatura)
Universidade de Lisboa Instituto Superior Técnico, Portugal
 18 valores
Affiliation

Teaching in Higher Education

Category
Host institution 		Employer
2019/06/16 - Current Full Professor (University Teacher) Universidade de Lisboa Instituto Superior Técnico, Portugal

Others

Category
Host institution 		Employer
2009/02/01 - 2019/06/16 Professor Associado no Departamento de Matemática Universidade de Lisboa Instituto Superior Técnico, Portugal
2001/02/01 - 2009/01/01 Professor Auxiliar do Departamento de Matemática Universidade de Lisboa Instituto Superior Técnico, Portugal
2001/02/01 - 2009/01/01 Professor Auxiliar do Departamento de Matemática Universidade de Lisboa Instituto Superior Técnico, Portugal
1997/09/01 - 2001/02/01 Assistente Estagiário do Departamento de Matemática Universidade de Lisboa Instituto Superior Técnico, Portugal
1997/09/01 - 2001/02/01 Assistente Estagiário do Departamento de Matemática Universidade de Lisboa Instituto Superior Técnico, Portugal
1995/09/01 - 1997/09/01 Monitor do Departamento de Matemática Universidade de Lisboa Instituto Superior Técnico, Portugal
1995/09/01 - 1997/09/01 Monitor do Departamento de Matemática Universidade de Lisboa Instituto Superior Técnico, Portugal
Projects

Contract

Designation Funders
2024/03/01 - 2028/02/28 Quantum-Enabled Secure Multiparty Computation for Space Surveillance Tracking (QSCAN)
SPS.MYP.G6158
Researcher
Instituto de Telecomunicações, Portugal
 NATO
Ongoing
2022/05/01 - 2025/04/30 Quantum Enabled Secure Multiparty Computation for Genomic Medicine
QuantERA/0001/202
Researcher
Instituto de Telecomunicações, Portugal
 QuantERA
Ongoing
2021/11/01 - 2025/04/30 Disruptive SDN secure communications for European Defence
EDIDP-CSAMN-2020
Researcher
Universidade de Lisboa Instituto Superior Técnico, Portugal
 European Defence Industrial Development Programme
2021/02/01 - 2024/01/31 Geração de números primos habilitada por tecnologias quânticas para aplicações criptográficas
PTDC/EEI-TEL/8017/2020
Instituto de Telecomunicações, Portugal
 Fundação para a Ciência e a Tecnologia
Ongoing
2019/01/01 - 2022/12/01 SPARTA
H2020 Project: 830892
Researcher
2019/01/01 - 2021/12/31 Terapia personalizada para doenças reumáticas por intermédio de aprendizagem automática
PTDC/CCI-CIF/29877/2017
Instituto de Telecomunicações, Portugal

Universidade Nova de Lisboa, Portugal

Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
Fundação para a Ciência e a Tecnologia
Ongoing
2020/12/01 - 2021/09/30 OpenQKD (EU project number: 857156)
EU project number: 857156
Researcher
2018/09/01 - 2021/08/31 Primitivas Quânticas para Preservar a Privacidade da Prospeção Estatística de Dados
PTDC/EEI-TEL/31826/2017
Instituto de Telecomunicações, Portugal

Instituto de Telecomunicações, Portugal
Fundação para a Ciência e a Tecnologia
Ongoing
2021/05/10 - 2021/07/09 Quantum Secure Communication Field Experiment
QSCRIPT-DME-PRC-PUO001-P
Researcher
Gabinete Nacional de Segurança, Portugal
 Gabinete Nacional de Segurança
2019/07/16 - 2021/06/15 Project: SI I&DT Copromoção Nr. 039728 - Distributed Quantum Oblivious Transfer
POCI-01-0247-FEDER-039728
Researcher
Instituto de Telecomunicações, Portugal
Ongoing
2016/05/01 - 2019/10/31 Communication Contracts for Distributed Systems Development
PTDC/EEI-CTP/4503/2014
Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal

Instituto de Telecomunicações, Portugal
Fundação para a Ciência e a Tecnologia
Concluded
2011/02/01 - 2014/07/31 ComFormCrypt - Semântica Computacional de Métodos Formais em Segurança
PTDC/EIA-CCO/113033/2009
Instituto de Telecomunicações, Portugal

Instituto de Telecomunicações, Portugal
Fundação para a Ciência e a Tecnologia
Concluded
2010/01/01 - 2013/06/01 Project: QuantPrivTel: Quantum PrivateTelecommunications
PTDC/EEA-TEL/103402/2008
Researcher
Instituto de Telecomunicações, Portugal
 Fundação para a Ciência e a Tecnologia
Concluded
2007/11/06 - 2011/02/05 QSec: Segurança Quântica
PTDC/EIA/67661/2006
Principal investigator
Instituto de Telecomunicações, Portugal
 Fundação para a Ciência e a Tecnologia
Concluded
2005/01/01 - 2007/12/31 QuantLog: Lógica para Computação e Informação Quântica
POCI/MAT/55796/2004
Universidade de Lisboa Instituto Superior Técnico, Portugal

Universidade de Lisboa Instituto Superior Técnico, Portugal
Fundação para a Ciência e a Tecnologia
Concluded
2006/01/01 - 2006/09/30 MATHEMATICAL TECHNIQUES FOR QUANTUM SECURITY
SFRH/BPD/26137/2005
Supervisor
Universidade de Lisboa Instituto Superior Técnico, Portugal
 Fundação para a Ciência e a Tecnologia
Concluded
Outputs

Publications

Book
  1. Branco, P.; Döttling, N.; Mateus, P.. Two-Round Oblivious Linear Evaluation from Learning with Errors. 2022.
    10.1007/978-3-030-97121-2_14
  2. Branco, P.; Mateus, P.. A traceable ring signature scheme based on coding theory. 2019.
    10.1007/978-3-030-25510-7_21
  3. Branco, P.; Ding, J.; Goulão, M.; Mateus, P.. A Framework for Universally Composable Oblivious Transfer from One-Round Key-Exchange. 2019.
    10.1007/978-3-030-35199-1_5
  4. Gomes, Diogo; Sernadas, Amílcar; Sernadas, Cristina; Rasga, Joao; Mateus, Paulo. A Mathematical Primer on Linear Optimization. United Kingdom: College Publications. 2019.
    Published
  5. Branco, P.; Mateus, P.. A code-based linkable ring signature scheme. 2018.
    10.1007/978-3-030-01446-9_12
  6. Souto, A.; Antunes, L.; Mateus, P.; Teixeira, A.. Witness hiding without extractors or simulators. 2018.
    10.1007/978-3-319-94418-0_40
  7. Qiu, D.; Li, L.; Mateus, P.; Gruska, J.. Quantum finite automata. 2016.
  8. Mateus, P.; Paunkovic, N.; Rodrigues, J.; Souto, A.. Enhancing privacy with quantum networks. 2014.
    10.1007/978-3-662-44885-4_14
  9. Mateus, P.; Ramos, J.; Sernadas, A.; Sernadas, C.. Temporal logics for reasoning about quantum systems. 2013.
    10.1017/CBO9781139193313.011
  10. Mateus, P.; Vaudenay, S.. On tamper-resistance from a theoretical viewpoint: The power of seals. 2009.
    10.1007/978-3-642-04138-9_29
  11. Chadha, R.; Mateus, P.; Sernadas, A.; Sernadas, C.. Extending Classical Logic for Reasoning About Quantum Systems. 2009.
    10.1016/B978-0-444-52869-8.50011-6
  12. Baltazar, P.; Mateus, P.. Temporalization of probabilistic propositional logic. 2009.
    10.1007/978-3-540-92687-0_4
  13. Chadha, R.; Mateus, P.; Sernadas, A.; Sernadas, C.. Extending Classical Logic for Reasoning About Quantum Systems. 2008.
  14. Caleiro, C.; Mateus, P.; Sernadas, A.; Sernadas, C.. Quantum institutions. 2006.
    10.1007/11780274_4
  15. Chadha, R.; Mateus, P.; Sernadas, A.. Reasoning about states of probabilistic sequential programs. 2006.
    10.1007/11874683_16
  16. Mateus, P.; Mitchell, J.; Scedrov, A.. Composition of cryptographic protocols in a probabilistic polynomial-time process calculus. 2003.
  17. Caleiro, C.; Mateus, P.; Ramos, J.; Sernadas, A.. Combining logics: Parchments revisited. 2002.
    10.1007/3-540-45645-7_3
  18. Mateus, P.; Sernadas, A.; Sernadas, C.. Realization of probabilistic automata: Categorical approach. 2000.
    10.1007/978-3-540-44616-3_14
Book chapter
  1. Ribeiro, M.; Adão, P.; Mateus, P.. "Formal Verification of Ethereum Smart Contracts Using Isabelle/HOL". 71-97. 2020.
    10.1007/978-3-030-62077-6_7
Conference paper
  1. Pinto, A.N.; Santos, M.B.; Silva, N.A.; Muga, N.J.; Mateus, P.. "Oblivious Keys for Secure Multiparty Computation Obtained from a CV-QKD". 2023.
    10.1109/ICTON59386.2023.10207521
  2. Silva, N.A.; Ferreira, M.J.; Carvalho, A.; Souto, A.; Paunkovic, N.; Mateus, P.; Teixeira, A.; Pinto, A.N.. "A Network Server for Distributing Quantum Random Numbers". 2023.
    10.1109/ICTON59386.2023.10207372
  3. Santos, M.B.; Gomes, A.C.; Pinto, A.N.; Mateus, P.. "Quantum secure multiparty computation of phylogenetic trees of SARS-CoV-2 genome". 2021.
    10.1109/ConfTELE50222.2021.9435479
  4. Pinto, A.N.; Ortiz, L.; Santos, M.; Gomes, A.C.; Brito, J.P.; Muga, N.J.; Silva, N.A.; Mateus, P.; Martin, V.. "Quantum enabled private recognition of composite signals in genome and proteins". 2020.
    10.1109/ICTON51198.2020.9203042
  5. Serena Giorgio; Paulo Mateus. "Efficiently Compressible Density Operators via Entropy Maximization". 2019.
    10.3390/proceedings2019012039
  6. Lemus, M.; Yadav, P.; Mateus, P.; Paunkovic, N.; Souto, A.. "On minimal assumptions to obtain a universally composable quantum bit commitment". 2019.
    10.1109/ICTON.2019.8840386
  7. Sobrinho, J.L.; Fialho, D.; Mateus, P.. "Stabilizing BGP through distributed elimination of recurrent routing loops". 2017.
    10.1109/ICNP.2017.8117560
  8. Almeida, Á.J.; Loura, R.; Paunkovic, N.; Silva, N.A.; Muga, N.J.; Mateus, P.; André, P.S.; Pinto, A.N.. "A brief review on quantum bit commitment". 2014.
    10.1117/12.2063733
  9. Biscaia, M.; Baltazar, P.; Mateus, P.; Nagarajan, R.. "A temporal logic for planning under uncertainty". 2013.
  10. Mateus, P.; Moura, F.; Rasga, J.. "Transferring proofs of zero-knowledge systems with quantum correlations". 2007.
    10.1109/ICQNM.2007.22
  11. Baltazar, P.; Chadha, R.; Mateus, P.; Sernadas, A.. "Towards model-checking quantum security protocols". 2007.
    10.1109/ICQNM.2007.21
  12. Mateus, P.; Sernadas, A.. "Reasoning about quantum systems". 2004.
Journal article
  1. Santos, Manuel B.; Mateus, Paulo; Vlachou, Chrysoula. "Quantum Universally Composable Oblivious Linear Evaluation". Quantum 8 (2024): 1507. https://doi.org/10.22331/q-2024-10-23-1507.
    10.22331/q-2024-10-23-1507
  2. Mariano Lemus; Ricardo Faleiro; Paulo Mateus; Nikola Paunkovic; André Souto. "Quantum Kolmogorov complexity and quantum correlations in deterministic-control quantum Turing machines". Quantum (2024): https://doi.org/10.22331/q-2024-01-18-1230.
    10.22331/q-2024-01-18-1230
  3. Li, H.; Qiu, D.; Luo, L.; Mateus, P.. "Exact distributed quantum algorithm for generalized Simon’s problem". Acta Informatica (2024): http://www.scopus.com/inward/record.url?eid=2-s2.0-85187107676&partnerID=MN8TOARS.
    10.1007/s00236-024-00455-x
  4. Xiao, L.; Qiu, D.; Luo, L.; Mateus, P.. "DISTRIBUTED SHOR’S ALGORITHM". Quantum Information and Computation 23 1-2 (2023): 27-44. http://www.scopus.com/inward/record.url?eid=2-s2.0-85146969100&partnerID=MN8TOARS.
    10.26421/QIC23.1-2-3
  5. Yang, F.; Qiu, D.; Mateus, P.. "Continuous-Variable Quantum Secret Sharing in Fast-Fluctuating Channels". IEEE Transactions on Quantum Engineering (2023): http://www.scopus.com/inward/record.url?eid=2-s2.0-85174804210&partnerID=MN8TOARS.
    10.1109/TQE.2023.3322171
  6. Manuel B. Santos; Paulo Mateus; Armando N. Pinto. "Quantum Oblivious Transfer: A Short Review". Entropy (2022): https://doi.org/10.3390/e24070945.
    10.3390/e24070945
  7. Massa, F.; Yadav, P.; Moqanaki, A.; Krawec, W.O.; Mateus, P.; Paunkovic, N.; Souto, A.; Walther, P.. "Experimental semi-quantum key distribution with classical users". Quantum 6 (2022): http://www.scopus.com/inward/record.url?eid=2-s2.0-85140646530&partnerID=MN8TOARS.
    10.22331/Q-2022-09-22-819
  8. Tan, J.; Xiao, L.; Qiu, D.; Luo, L.; Mateus, P.. "Distributed quantum algorithm for Simon's problem". Physical Review A 106 3 (2022): http://www.scopus.com/inward/record.url?eid=2-s2.0-85138172936&partnerID=MN8TOARS.
    10.1103/PhysRevA.106.032417
  9. Mera, B.; Mateus, P.; Carvalho, A.M.. "Model Complexity in Statistical Manifolds: The Role of Curvature". IEEE Transactions on Information Theory 68 9 (2022): 5619-5636. http://www.scopus.com/inward/record.url?eid=2-s2.0-85130472757&partnerID=MN8TOARS.
    10.1109/TIT.2022.3176470
  10. Santos, M.B.; Gomes, A.C.; Pinto, A.N.; Mateus, P.. "Private Computation of Phylogenetic Trees Based on Quantum Technologies". IEEE Access 10 (2022): 38065-38088. http://www.scopus.com/inward/record.url?eid=2-s2.0-85126318607&partnerID=MN8TOARS.
    10.1109/ACCESS.2022.3158416
  11. Rong, Z.; Qiu, D.; Mateus, P.; Zou, X.. "Mediated semi-quantum secure direct communication". Quantum Information Processing 20 2 (2021): http://www.scopus.com/inward/record.url?eid=2-s2.0-85100792967&partnerID=MN8TOARS.
    10.1007/s11128-020-02965-2
  12. Di Giorgio, S.; Mateus, P.. "On the complexity of finding the maximum entropy compatible quantum state". Mathematics 9 2 (2021): 1-24. http://www.scopus.com/inward/record.url?eid=2-s2.0-85099905706&partnerID=MN8TOARS.
    10.3390/math9020193
  13. Santos, M.B.; Pinto, A.N.; Mateus, P.. "Quantum and classical oblivious transfer: A comparative analysis". IET Quantum Communication 2 2 (2021): 42-53. http://www.scopus.com/inward/record.url?eid=2-s2.0-85128792427&partnerID=MN8TOARS.
    10.1049/qtc2.12010
  14. Branco, P.; Fiolhais, L.; Goulão, M.; Martins, P.; Mateus, P.; Sousa, L.. "ROTed: Random oblivious transfer for embedded devices". IACR Transactions on Cryptographic Hardware and Embedded Systems 2021 4 (2021): 215-238. http://www.scopus.com/inward/record.url?eid=2-s2.0-85116788897&partnerID=MN8TOARS.
    10.46586/tches.v2021.i4.215-238
  15. Costa, B.; Branco, P.; Goulão, M.; Lemus, M.; Mateus, P.. "Randomized oblivious transfer for secure multiparty computation in the quantum setting". Entropy 23 8 (2021): http://www.scopus.com/inward/record.url?eid=2-s2.0-85112652198&partnerID=MN8TOARS.
    10.3390/e23081001
  16. Lemus, M.; Beirão, J.P.; Paunkovic, N.; Carvalho, A.M.; Mateus, P.. "Information-theoretical criteria for characterizing the earliness of time-series data". Entropy 22 1 (2020): 49-49. http://www.scopus.com/inward/record.url?eid=2-s2.0-85078546665&partnerID=MN8TOARS.
    10.3390/e22010049
  17. Gama, M.; Mateus, P.; Souto, A.. "A private quantum bit string commitment". Entropy 22 3 (2020): http://www.scopus.com/inward/record.url?eid=2-s2.0-85082711032&partnerID=MN8TOARS.
    10.3390/e22030272
  18. Branco, P.; Mateus, P.; Salema, C.; Souto, A.. "Using Low-Density Parity-Check codes to improve the McEliece cryptosystem". Information Sciences 510 (2020): 243-255. http://www.scopus.com/inward/record.url?eid=2-s2.0-85072576506&partnerID=MN8TOARS.
    10.1016/j.ins.2019.09.030
  19. Di Giorgio, S.; Mateus, P.; Mera, B.. "Recoverability from direct quantum correlations". Journal of Physics A: Mathematical and Theoretical 53 18 (2020): http://www.scopus.com/inward/record.url?eid=2-s2.0-85084731282&partnerID=MN8TOARS.
    10.1088/1751-8121/ab7a52
  20. Ramalho, J.F.C.B.; Correia, S.F.H.; Fu, L.; Dias, L.M.S.; Adão, P.; Mateus, P.; Ferreira, R.A.S.; André, P.S.. "Super modules-based active QR codes for smart trackability and IoT: a responsive-banknotes case study". npj Flexible Electronics 4 1 (2020): http://www.scopus.com/inward/record.url?eid=2-s2.0-85088017581&partnerID=MN8TOARS.
    10.1038/s41528-020-0073-1
  21. Lemus, M.; Ramos, M.F.; Yadav, P.; Silva, N.A.; Muga, N.J.; Souto, A.; Paunkovic, N.; Mateus, P.; Pinto, A.N.. "Generation and distribution of quantum oblivious keys for secure multiparty computation". Applied Sciences (Switzerland) 10 12 (2020): 1-11. http://www.scopus.com/inward/record.url?eid=2-s2.0-85087636093&partnerID=MN8TOARS.
    10.3390/APP10124080
  22. Zhang, W.; Qiu, D.; Mateus, P.. "Single-state semi-quantum key distribution protocol and its security proof". International Journal of Quantum Information 18 4 (2020): http://www.scopus.com/inward/record.url?eid=2-s2.0-85093073295&partnerID=MN8TOARS.
    10.1142/S0219749920500136
  23. Du, S.; Qiu, D.; Mateus, P.; Gruska, J.. "Enhanced double random phase encryption of quantum images". Results in Physics 13 (2019): http://www.scopus.com/inward/record.url?eid=2-s2.0-85063441762&partnerID=MN8TOARS.
    10.1016/j.rinp.2019.102161
  24. Du, S.; Qiu, D.; Gruska, J.; Mateus, P.. "Synthesis of quantum images using phase rotation". Quantum Information Processing 18 9 (2019): http://www.scopus.com/inward/record.url?eid=2-s2.0-85070234254&partnerID=MN8TOARS.
    10.1007/s11128-019-2396-1
  25. Pan, M.; Qiu, D.; Mateus, P.; Gruska, J.. "Entangling and disentangling in Grover's search algorithm". Theoretical Computer Science 773 (2019): 138-152. http://www.scopus.com/inward/record.url?eid=2-s2.0-85055153956&partnerID=MN8TOARS.
    10.1016/j.tcs.2018.10.001
  26. Yadav, P.; Mateus, P.; Paunkovic, N.; Souto, A.. "Quantum contract signing with entangled pairs". Entropy 21 9 (2019): http://www.scopus.com/inward/record.url?eid=2-s2.0-85071933280&partnerID=MN8TOARS.
    10.3390/e21090821
  27. Vlachou, C.; Krawec, W.; Mateus, P.; Paunkovic, N.; Souto, A.. "Quantum key distribution with quantum walks". Quantum Information Processing 17 11 (2018): http://www.scopus.com/inward/record.url?eid=2-s2.0-85053430764&partnerID=MN8TOARS.
    10.1007/s11128-018-2055-y
  28. Guerra, R.P.; Carvalho, A.M.; Mateus, P.. "Model selection for clustering of pharmacokinetic responses". Computer Methods and Programs in Biomedicine 162 (2018): 11-18. http://www.scopus.com/inward/record.url?eid=2-s2.0-85046762717&partnerID=MN8TOARS.
    10.1016/j.cmpb.2018.05.002
  29. Zhang, W.; Qiu, D.; Mateus, P.. "Security of a single-state semi-quantum key distribution protocol". Quantum Information Processing 17 6 (2018): http://www.scopus.com/inward/record.url?eid=2-s2.0-85046675042&partnerID=MN8TOARS.
    10.1007/s11128-018-1904-z
  30. Zhang, W.; Qiu, D.; Zou, X.; Mateus, P.. "Analyses and improvement of a broadcasting multiple blind signature scheme based on quantum GHZ entanglement". Quantum Information Processing 16 6 (2017): http://www.scopus.com/inward/record.url?eid=2-s2.0-85018298175&partnerID=MN8TOARS.
    10.1007/s11128-017-1602-2
  31. RASGA, J.; SERNADAS, C.; MATEUS, P.; SERNADAS, A.. "Decision and optimization problems in the unreliable-circuit logic". Logic Journal of the IGPL 25 3 (2017): 284-308. http://www.scopus.com/inward/record.url?eid=2-s2.0-85027266726&partnerID=MN8TOARS.
    10.1093/jigpal/jzx005
  32. Rodrigues, J.; Paunkovi, N.; Mateus, P.. "A simulator for discrete quantum walks on lattices". International Journal of Modern Physics C 28 4 (2017): http://www.scopus.com/inward/record.url?eid=2-s2.0-85017413661&partnerID=MN8TOARS.
    10.1142/S0129183117500553
  33. Rodrigues, J.; Mateus, P.; Paunkovic, N.; Souto, A.. "Oblivious transfer based on single-qubit rotations". Journal of Physics A: Mathematical and Theoretical 50 20 (2017): http://www.scopus.com/inward/record.url?eid=2-s2.0-85018404130&partnerID=MN8TOARS.
    10.1088/1751-8121/aa6a69
  34. Mateus, P.; Sernadas, A.; Souto, A.. "Universality of quantum Turing machines with deterministic control". Journal of Logic and Computation 27 1 (2017): 1-19. http://www.scopus.com/inward/record.url?eid=2-s2.0-85014707765&partnerID=MN8TOARS.
    10.1093/logcom/exv008
  35. Huang, Z.; Qiu, D.; Mateus, P.. "Geometry and dynamics of one-norm geometric quantum discord". Quantum Information Processing 15 1 (2016): 301-326. http://www.scopus.com/inward/record.url?eid=2-s2.0-84953835534&partnerID=MN8TOARS.
    10.1007/s11128-015-1176-9
  36. Situ, H.; Qiu, D.; Mateus, P.; Paunkovic, N.. "Secure N -dimensional simultaneous dense coding and applications". International Journal of Quantum Information 13 7 (2015): http://www.scopus.com/inward/record.url?eid=2-s2.0-84958164543&partnerID=MN8TOARS.
    10.1142/S0219749915500513
  37. Vlachou, C.; Rodrigues, J.; Mateus, P.; Paunkovic, N.; Souto, A.. "Quantum walk public-key cryptographic system". International Journal of Quantum Information 13 7 (2015): http://www.scopus.com/inward/record.url?eid=2-s2.0-84958150940&partnerID=MN8TOARS.
    10.1142/S0219749915500501
  38. Almeida, Á.J.; Stojanovic, A.D.; Paunkovic, N.; Loura, R.; Muga, N.J.; Silva, N.A.; Mateus, P.; André, P.S.; Pinto, A.N.. "Implementation of a two-state quantum bit commitment protocol in optical fibers". Journal of Optics (United Kingdom) 18 1 (2015): http://www.scopus.com/inward/record.url?eid=2-s2.0-84951761496&partnerID=MN8TOARS.
    10.1088/2040-8978/18/1/015202
  39. Souto, A.; Mateus, P.; Adão, P.; Paunkovic, N.. "Reply to Comment on 'Bit-string oblivious transfer based on quantum state computational distinguishability'". Physical Review A - Atomic, Molecular, and Optical Physics 92 4 (2015): http://www.scopus.com/inward/record.url?eid=2-s2.0-84946234479&partnerID=MN8TOARS.
    10.1103/PhysRevA.92.046302
  40. Ribeiro, J.; Souto, A.; Mateus, P.. "Quantum blind signature with an offline repository". International Journal of Quantum Information 13 2 (2015): http://www.scopus.com/inward/record.url?eid=2-s2.0-84929266852&partnerID=MN8TOARS.
    10.1142/S0219749915500161
  41. Zou, X.; Qiu, D.; Zhang, S.; Mateus, P.. "Semiquantum key distribution without invoking the classical party’s measurement capability". Quantum Information Processing 14 8 (2015): 2981-2996. http://www.scopus.com/inward/record.url?eid=2-s2.0-84937973974&partnerID=MN8TOARS.
    10.1007/s11128-015-1015-z
  42. Qiu, D.; Li, L.; Mateus, P.; Sernadas, A.. "Exponentially more concise quantum recognition of non-rmm regular languages". Journal of Computer and System Sciences 81 2 (2015): 359-375. http://www.scopus.com/inward/record.url?eid=2-s2.0-84927693570&partnerID=MN8TOARS.
    10.1016/j.jcss.2014.06.008
  43. Souto, A.; Mateus, P.; Adão, P.; Paunkovic, N.. "Bit-string oblivious transfer based on quantum state computational distinguishability". Physical Review A - Atomic, Molecular, and Optical Physics 91 4 (2015): http://www.scopus.com/inward/record.url?eid=2-s2.0-84929464576&partnerID=MN8TOARS.
    10.1103/PhysRevA.91.042306
  44. Sernadas, A.; Rasga, J.; Sernadas, C.; Mateus, P.. "Approximate reasoning about logic circuits with single-fan-out unreliable gates". Journal of Logic and Computation 24 5 (2014): 1023-1069. http://www.scopus.com/inward/record.url?eid=2-s2.0-84931058090&partnerID=MN8TOARS.
    10.1093/logcom/ext038
  45. Biscaia, M.; Henriques, D.; Mateus, P.. "Decidability of approximate skolem problem and applications to logical verification of dynamical properties of markov chains". ACM Transactions on Computational Logic 16 1 (2014): http://www.scopus.com/inward/record.url?eid=2-s2.0-84920930189&partnerID=MN8TOARS.
    10.1145/2666772
  46. Carvalho, A.M.; Adão, P.; Mateus, P.. "Hybrid learning of Bayesian multinets for binary classification". Pattern Recognition 47 10 (2014): 3438-3450. http://www.scopus.com/inward/record.url?eid=2-s2.0-84902386587&partnerID=MN8TOARS.
    10.1016/j.patcog.2014.03.019
  47. Adão, P.; Mateus, P.; Viganò, L.. "Protocol insecurity with a finite number of sessions and a cost-sensitive guessing intruder is NP-complete". Theoretical Computer Science 538 C (2014): 2-15. http://www.scopus.com/inward/record.url?eid=2-s2.0-84926278763&partnerID=MN8TOARS.
    10.1016/j.tcs.2013.09.015
  48. Loura, R.; Almeida, A.J.; André, P.S.; Pinto, A.N.; Mateus, P.; Paunkovic, N.. "Noise and measurement errors in a practical two-state quantum bit commitment protocol". Physical Review A - Atomic, Molecular, and Optical Physics 89 5 (2014): http://www.scopus.com/inward/record.url?eid=2-s2.0-84902095867&partnerID=MN8TOARS.
    10.1103/PhysRevA.89.052336
  49. Zou, X.; Qiu, D.; Yu, F.; Mateus, P.. "Security Problems in the Quantum Signature Scheme with a Weak Arbitrator". International Journal of Theoretical Physics 53 2 (2014): 603-611. http://www.scopus.com/inward/record.url?eid=2-s2.0-84892482436&partnerID=MN8TOARS.
    10.1007/s10773-013-1846-2
  50. Imre, S.; Mateus, P.; Nagy, P.; Zavriyev, A.. "Quantum communications". IEEE Communications Magazine 51 8 (2013): 26-27. http://www.scopus.com/inward/record.url?eid=2-s2.0-84882791081&partnerID=MN8TOARS.
    10.1109/MCOM.2013.6576334
  51. Carvalho, A.M.; Adão, P.; Mateus, P.. "Efficient approximation of the conditional relative entropy with applications to discriminative learning of bayesian Network classifiers". Entropy 15 7 (2013): 2716-2735. http://www.scopus.com/inward/record.url?eid=2-s2.0-84881244845&partnerID=MN8TOARS.
    10.3390/e15072716
  52. Zou, X.; Qiu, D.; Mateus, P.. "Security Analyses and Improvement of Arbitrated Quantum Signature with an Untrusted Arbitrator". International Journal of Theoretical Physics 52 9 (2013): 3295-3305. http://www.scopus.com/inward/record.url?eid=2-s2.0-84881016559&partnerID=MN8TOARS.
    10.1007/s10773-013-1626-z
  53. Li, L.; Qiu, D.; Mateus, P.. "Quantum secret sharing with classical bobs". Journal of Physics A: Mathematical and Theoretical 46 4 (2013): http://www.scopus.com/inward/record.url?eid=2-s2.0-84872692411&partnerID=MN8TOARS.
    10.1088/1751-8113/46/4/045304
  54. Zheng, S.; Qiu, D.; Gruska, J.; Li, L.; Mateus, P.. "State succinctness of two-way finite automata with quantum and classical states". Theoretical Computer Science 499 (2013): 98-112. http://www.scopus.com/inward/record.url?eid=2-s2.0-84881142434&partnerID=MN8TOARS.
    10.1016/j.tcs.2013.06.005
  55. Henriques, D.; Biscaia, M.; Baltazar, P.; Mateus, P.. "Decidability and complexity for ¿-regular properties of stochastic systems". Logic Journal of the IGPL 20 6 (2012): 1175-1201. http://www.scopus.com/inward/record.url?eid=2-s2.0-84870410435&partnerID=MN8TOARS.
    10.1093/jigpal/jzr054
  56. Li, L.; Qiu, D.; Zou, X.; Wu, L.; Mateus, P.. "Characterizations of one-way general quantum finite automata". Theoretical Computer Science 419 (2012): 73-91. http://www.scopus.com/inward/record.url?eid=2-s2.0-84855979502&partnerID=MN8TOARS.
    10.1016/j.tcs.2011.10.021
  57. Mateus, P.; Qiu, D.; Li, L.. "On the complexity of minimizing probabilistic and quantum automata". Information and Computation 218 (2012): 36-53. http://www.scopus.com/inward/record.url?eid=2-s2.0-84864132272&partnerID=MN8TOARS.
    10.1016/j.ic.2012.07.002
  58. Assis, F.M.; Stojanovic, A.; Mateus, P.; Omar, Y.. "Improving classical authentication over a quantum channel". Entropy 14 12 (2012): 2531-2549. http://www.scopus.com/inward/record.url?eid=2-s2.0-84871564684&partnerID=MN8TOARS.
    10.3390/e14122531
  59. Mateus, P.; Vieira, V.R.. "Reducing factorization of a semiprime number to the integration of highly oscillatory functions". Applied Mathematics Letters 25 11 (2012): 1790-1794. http://www.scopus.com/inward/record.url?eid=2-s2.0-84865631459&partnerID=MN8TOARS.
    10.1016/j.aml.2012.02.014
  60. Paunkovic, N.; Bouda, J.; Mateus, P.. "Fair and optimistic quantum contract signing". Physical Review A - Atomic, Molecular, and Optical Physics 84 6 (2011): http://www.scopus.com/inward/record.url?eid=2-s2.0-84855262920&partnerID=MN8TOARS.
    10.1103/PhysRevA.84.062331
  61. Do Nascimento, J.C.; Mateus, P.. "Statistical model for a quantum noiseless subsystem". Optics Communications 284 5 (2011): 1451-1456. http://www.scopus.com/inward/record.url?eid=2-s2.0-78751642200&partnerID=MN8TOARS.
    10.1016/j.optcom.2010.10.080
  62. Qiu, D.; Li, L.; Zou, X.; Mateus, P.; Gruska, J.. "Multi-letter quantum finite automata: Decidability of the equivalence and minimization of states". Acta Informatica 48 5 (2011): 271-290. http://www.scopus.com/inward/record.url?eid=2-s2.0-80051669496&partnerID=MN8TOARS.
    10.1007/s00236-011-0139-6
  63. Baltazar, P.; Chadha, R.; Mateus, P.. "Quantum computation tree logic - Model checking and complete calculus". International Journal of Quantum Information 6 2 (2008): 219-236. http://www.scopus.com/inward/record.url?eid=2-s2.0-44049097420&partnerID=MN8TOARS.
    10.1142/S0219749908003530
  64. Bouda, J.; Mateus, P.; Paunkovic, N.; Rasga, J.. "On the power of quantum tamper-proof devices". International Journal of Quantum Information 6 2 (2008): 281-302. http://www.scopus.com/inward/record.url?eid=2-s2.0-44049100556&partnerID=MN8TOARS.
    10.1142/S0219749908003542
  65. Adão, P.; Mateus, P.. "A Process Algebra for Reasoning About Quantum Security". Electronic Notes in Theoretical Computer Science 170 (2007): 3-21. http://www.scopus.com/inward/record.url?eid=2-s2.0-33847280243&partnerID=MN8TOARS.
    10.1016/j.entcs.2006.12.009
  66. Chadha, R.; Cruz-Filipe, L.; Mateus, P.; Sernadas, A.. "Reasoning about probabilistic sequential programs". Theoretical Computer Science 379 1-2 (2007): 142-165. http://www.scopus.com/inward/record.url?eid=2-s2.0-34248206760&partnerID=MN8TOARS.
    10.1016/j.tcs.2007.02.040
  67. Baltazar, P.; Mateus, P.; Nagarajan, R.; Papanikolaou, N.. "Exogenous Probabilistic Computation Tree Logic". Electronic Notes in Theoretical Computer Science 190 3 (2007): 95-110. http://www.scopus.com/inward/record.url?eid=2-s2.0-34548240541&partnerID=MN8TOARS.
    10.1016/j.entcs.2007.07.007
  68. Chadha, R.; Mateus, P.; Sernadas, A.. "Reasoning About Imperative Quantum Programs". Electronic Notes in Theoretical Computer Science 158 1 (2006): 19-39. http://www.scopus.com/inward/record.url?eid=2-s2.0-33646142801&partnerID=MN8TOARS.
    10.1016/j.entcs.2006.04.003
  69. Adão, P.; Mateus, P.; Reis, T.; Viganò, L.. "Towards a Quantitative Analysis of Security Protocols". Electronic Notes in Theoretical Computer Science 164 3 SPEC. IS (2006): 3-25. http://www.scopus.com/inward/record.url?eid=2-s2.0-33750091331&partnerID=MN8TOARS.
    10.1016/j.entcs.2006.07.009
  70. Mateus, P.; Sernadas, A.. "Weakly complete axiomatization of exogenous quantum propositional logic". Information and Computation 204 5 (2006): 771-794. http://www.scopus.com/inward/record.url?eid=2-s2.0-84855207465&partnerID=MN8TOARS.
    10.1016/j.ic.2006.02.001
  71. Carnielli, W.; Mateus, P.. "Editorial". Logic Journal of the IGPL 13 6 (2005): 611-614. http://www.scopus.com/inward/record.url?eid=2-s2.0-33750105057&partnerID=MN8TOARS.
    10.1093/jigpal/jzi046
  72. Mateus, P.; Rasga, J.; Sernadas, C.. "Modal sequent calculil labelled with truth values: Cut elimination". Logic Journal of the IGPL 13 2 (2005): 173-199. http://www.scopus.com/inward/record.url?eid=2-s2.0-33750112290&partnerID=MN8TOARS.
    10.1093/jigpal/jzi013
  73. Hermida, C.; Mateus, P.. "Paracategories II: Adjunctions, fibrations and examples from probabilistic automata theory". Theoretical Computer Science 311 1-3 (2004): 71-103. http://www.scopus.com/inward/record.url?eid=2-s2.0-0346969703&partnerID=MN8TOARS.
    10.1016/S0304-3975(03)00317-7
  74. Mateus, P.; Morais, M.; Nunes, C.; Pacheco, A.; Sernadas, A.; Sernadas, C.. "Categorical foundations for randomly timed automata". Theoretical Computer Science 308 1-3 (2003): 393-427. http://www.scopus.com/inward/record.url?eid=2-s2.0-0142124715&partnerID=MN8TOARS.
    10.1016/S0304-3975(02)00894-0
  75. Hermida, C.; Mateus, P.. "Paracategories I: Internal paracategories and saturated partial algebras". Theoretical Computer Science 309 1-3 (2003): 125-156. http://www.scopus.com/inward/record.url?eid=2-s2.0-0242440312&partnerID=MN8TOARS.
    10.1016/S0304-3975(03)00135-X
  76. Schroder, L.; Mateus, P.. "Universal aspects of probabilistic automata". Mathematical Structures in Computer Science 12 4 (2002): 481-512. http://www.scopus.com/inward/record.url?eid=2-s2.0-18944377684&partnerID=MN8TOARS.
    10.1017/S0960129502003614
  77. Mateus, P.; Pacheco, A.; Pinto, J.; Sernadas, A.; Sernadas, C.. "Probabilistic Situation Calculus". Annals of Mathematics and Artificial Intelligence 32 1-4 (2001): 393-431. http://www.scopus.com/inward/record.url?eid=2-s2.0-0035598191&partnerID=MN8TOARS.
    10.1023/A:1016738205696
  78. Pinto, J.; Sernadas, A.; Sernadas, C.; Mateus, P.. "Non-determinism and uncertainty in the situation calculus". International Journal of Uncertainty, Fuzziness and Knowlege-Based Systems 8 2 (2000): 127-149. http://www.scopus.com/inward/record.url?eid=2-s2.0-0010365117&partnerID=MN8TOARS.
    10.1142/S0218488500000101
  79. Mateus, P.; Sernadas, A.; Sernadas, C.. "Precategories for combining probabilistic automata". Electronic Notes in Theoretical Computer Science 29 (1999): 169-186. http://www.scopus.com/inward/record.url?eid=2-s2.0-0142075135&partnerID=MN8TOARS.
    10.1016/S1571-0661(05)80315-9
Activities

Supervision

Thesis Title
Role 		Degree Subject (Type)
Institution / Organization
2023/09/01 - Current Universal composability of secure multi-party computation with hardware assumptions
Supervisor
 Matemática Aplicada e Computação (Master)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2018/04/04 - 2022/09/15 Advances in the security and efficiency of multi-party computation primitives
Supervisor
 Segurança de Informação (PhD)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2018/04/01 - 2022/02/07 Reducing the Communication in Secure Computation
Supervisor of Pedro de Melo Branco
 Segurança de Informação (PhD)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2020 - 2020 On the efficiency of recovering density operators from direct quantum correlations via Jaynes principle
Supervisor
 Física (PhD)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2019 - 2019 Pratical Quantum Privacy Protocols
Supervisor
 Segurança de Informação (PhD)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2019 - 2019 Desenvolvimento de Oblivious Transfer em Plataformas de Secure Multiparty Computation
Supervisor
 Segurança de Informação (PhD)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2018 - 2018 Quantum walks in cryptography and finite-temperature topological phase transitions
Supervisor
 Física (PhD)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2018 - 2018 Multivariate Correlations for Early Classification
Co-supervisor
 Engenharia Electrotécnica e de Computadores (Master)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2017 - 2017 On the Application of Model Checking Techniques to Real-Time Hypervisors in the Context of Integrated Modular Avionics Systems
Supervisor
 Matemática e Aplicações (Master)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2017 - 2017 Model Selection for Clustering of Pharmacokinetic Responses with the Minimum Description Length
Co-supervisor
 Engenharia Electrotécnica e de Computadores (Master)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2017 - 2017 A New LDPC-based McEliece Cryptosystem
Supervisor
 Matemática e Aplicações (Master)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2016 - 2016 Quantum measures, noise and measurement errors in a quantum bit commitment protocol
Supervisor
 Segurança de Informação (PhD)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2016 - 2016 Quantum Cryptography applied to Electronic-Voting Protocols
Supervisor
 Matemática e Aplicações (Master)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2015 - 2015 Formal Reasoning About Temporal Properties in Dynamic Stochastic Systems: Exact and Approximate Procedures with Applications.
Supervisor
 Segurança de Informação (PhD)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2015 - 2015 Interplay between Probabilistic and Temporal Reasoning: Applications to the Analysis and Synthesis of Complex Systems
Supervisor
 Segurança de Informação (PhD)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2015 - 2015 Quantum Oblivious Transfer
Supervisor
 Segurança de Informação (PhD)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2014 - 2014 Unsupervised learning algorithm for pharmacokinetic responses
Co-supervisor
 Matemática e Aplicações (Master)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2014 - 2014 On trapdoor Kolmogorov one-way functions and elliptic curves cryptography
Supervisor
 Matemática e Aplicações (Master)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2013 - 2013 An Algorithm for Validating ARINC 653 Configurations
Supervisor
 Matemática e Aplicações (Master)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2006 - 2006 Formal Methods for the Analysis of Security Protocols
Supervisor
 Matemática (PhD)
2006 - 2006 Probabilization of Logic Systems
Supervisor
 Matemática (PhD)
Distinctions

Award

2024 3º prémio IN3+ (em equipa com outros três colegas)
Imprensa Nacional-Casa da Moeda SA, Portugal
2005 Portuguese Scientific Prize
International Business Machines Corp, United States

Other distinction

2012 Menção Honrosa
Gabinete Nacional de Segurança, Portugal