| 2025 | IDEAL | Causality in Categorical Data Using Geometric Complexity. | Alexandra M. Carvalho, Diogo Cruz, Paulo Mateus, Bruno Mera |
| 2025 | ProvSec | An Attack to Universally Composable Commitments from Malicious Physically Uncloneable Functions and How to Avoid It. | Loureno Abecasis, Paulo Mateus, Chrysoula Vlachou |
| 2022 | PKC | Two-Round Oblivious Linear Evaluation from Learning with Errors. | Pedro Branco, Nico Dttling, Paulo Mateus |
| 2019 | PQCrypto | A Traceable Ring Signature Scheme Based on Coding Theory. | Pedro Branco, Paulo Mateus |
| 2018 | CiE | Witness Hiding Without Extractors or Simulators. | Andr Souto, Lus Antunes, Paulo Mateus, Andreia Teixeira |
| 2018 | ProvSec | A Code-Based Linkable Ring Signature Scheme. | Pedro Branco, Paulo Mateus |
| 2017 | ICNP | Stabilizing BGP through distributed elimination of recurrent routing loops. | Joo Luis Sobrinho, David Fialho, Paulo Mateus |
| 2013 | FlAIRS | A Temporal Logic for Planning under Uncertainty. | Manuel Biscaia, Pedro Baltazar, Paulo Mateus, Rajagopal Nagarajan |
| 2009 | CHES | On Tamper-Resistance from a Theoretical Viewpoint. | Paulo Mateus, Serge Vaudenay |
| 2009 | LFCS | Temporalization of Probabilistic Propositional Logic. | Pedro Baltazar, Paulo Mateus |
| 2006 | CSL | Reasoning About States of Probabilistic Sequential Programs. | Rohit Chadha, Paulo Mateus, Amlcar Sernadas |
| 2004 | JELIA | Reasoning About Quantum Systems. | Paulo Mateus, Amlcar Sernadas |
| 2003 | CONCUR | Composition of Cryptographic Protocols in a Probabilistic Polynomial-Time Process Calculus. | Paulo Mateus, John C. Mitchell, Andre Scedrov |
| 2002 | KR | Observations and the Probabilistic Situation Calculus. | Paulo Mateus, Antnio Pacheco, Javier Pinto |
| 1999 | FlAIRS | Nondeterminism and Uncertainty in the Situation Calculus. | Javier Pinto, Amlcar Sernadas, Cristina Sernadas, Paulo Mateus |