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

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

13Supervision of PhD theses

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

71Papers in Journals

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, Nature, 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, 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, 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, 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

12Papers in Conferences

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

Projects

Currently running projects6

Acronym	Name	Funding Agency	Start date	Ending date
Q.DOT	SI I&DT Copromoção Nr. 039728 - Distributed Quantum Oblivious Transfer	P2020	01-10-2019	30-06-2022
QuantaGenomics	Quantum Enabled Secure Multiparty Computation for Genomic Medicine	EU / FCT / Programme ERA-NET Cofund QuantERA II	01-05-2022	30-04-2025
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
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

Closed Projects13

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	Personalized therapy for RhEumatic DIseases via machine learning methods	FCT	01-01-2019	31-12-2021
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
QuGENOME	Quantum Enabled Private Recognition of Composite Signals in Genome	EU	01-12-2020	31-03-2022

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