Computational and Information-Theoretic Soundness and Completeness of Formal Encryption. - Pedro Adão; Gergei Bana; Andre Scedrov (CSFW, 2005)

Soundness of Formal Encryption in the Presence of Key-Cycles. - Pedro Adão; Gergei Bana; Jonathan Herzog; Andre Scedrov (ESORICS, 2005)

A Process Algebra for Reasoning About Quantum Security. - Pedro Adão; Paulo Mateus (QPL, 2005)

Cryptographically Sound Implementations for Communicating Processes. - Pedro Adão; Cédric Fournet (ICALP (2), 2006)

Towards a Quantitative Analysis of Security Protocols. - Pedro Adão; Paulo Mateus; Tiago Reis; Luca Viganò 001 (QAPL, 2006)

Soundness and completeness of formal encryption: The cases of key cycles and partial information leakage. - Pedro Adão; Gergei Bana; Jonathan Herzog; Andre Scedrov (J. Comput. Secur., 2009)

Computationally Complete Symbolic Attacker in Action. - Gergei Bana; Pedro Adão; Hideki Sakurada (FSTTCS, 2012)

Computationally Sound Verification of the NSL Protocol via Computationally Complete Symbolic Attacker. - Gergei Bana; Pedro Adão; Hideki Sakurada (IACR Cryptol. ePrint Arch., 2012)

Type-Based Analysis of Generic Key Management APIs. - Pedro Adão; Riccardo Focardi; Flaminia L. Luccio (CSF, 2013)

Efficient Approximation of the Conditional Relative Entropy with Applications to Discriminative Learning of Bayesian Network Classifiers. - Alexandra M. Carvalho; Pedro Adão; Paulo Mateus (Entropy, 2013)

Type-Based Analysis of Generic Key Management APIs (Long Version). - Pedro Adão; Riccardo Focardi; Flaminia L. Luccio (IACR Cryptol. ePrint Arch., 2013)

Mignis: A Semantic Based Tool for Firewall Configuration. - Pedro Adão; Claudio Bozzato; G. Dei Rossi; Riccardo Focardi; Flaminia L. Luccio (CSF, 2014)

Oblivious transfer based on quantum state computational distinguishability. - André Souto; Paulo Mateus; Pedro Adão; Nikola Paunkovic (CoRR, 2014)

Hybrid learning of Bayesian multinets for binary classification. - Alexandra M. Carvalho; Pedro Adão; Paulo Mateus (Pattern Recognit., 2014)

Protocol insecurity with a finite number of sessions and a cost-sensitive guessing intruder is NP-complete. - Pedro Adão; Paulo Mateus; Luca Viganò 001 (Theor. Comput. Sci., 2014)

Localizing Firewall Security Policies. - Pedro Adão; Riccardo Focardi; Joshua D. Guttman; Flaminia L. Luccio (CSF, 2016)

Securing Electronic Health Records in the Cloud. - David R. Matos; Miguel L. Pardal; Pedro Adão; António Rito Silva; Miguel Correia 001 (P2DS@EuroSys, 2018)

Formal Verification of Ethereum Smart Contracts Using Isabelle/HOL. - Maria Ribeiro; Pedro Adão; Paulo Mateus (Logic, Language, and Security, 2020)

A Comparative Study of Automatic Program Repair Techniques for Security Vulnerabilities. - Eduard Pinconschi; Rui Abreu 001; Pedro Adão (ISSRE, 2021)

Concolic Execution for WebAssembly. - Filipe Marques; José Fragoso Santos; Nuno Santos 001; Pedro Adão (ECOOP, 2022)

Maestro: a platform for benchmarking automatic program repair tools on software vulnerabilities. - Eduard Pinconschi; Quang-Cuong Bui; Rui Abreu 001; Pedro Adão; Riccardo Scandariato (ISSTA, 2022)

Concolic Execution for WebAssembly (Artifact). - Filipe Marques; José Fragoso Santos; Nuno Santos 001; Pedro Adão (Dagstuhl Artifacts Ser., 2022)

Toward Tool-Independent Summaries for Symbolic Execution. - Frederico Ramos; Nuno Sabino; Pedro Adão; David A. Naumann; José Fragoso Santos (ECOOP, 2023)

Cookie Crumbles: Breaking and Fixing Web Session Integrity. - Marco Squarcina; Pedro Adão; Lorenzo Veronese; Matteo Maffei (USENIX Security Symposium, 2023)

Toward Tool-Independent Summaries for Symbolic Execution (Artifact). - Frederico Ramos; Nuno Sabino; Pedro Adão; David A. Naumann; José Fragoso Santos (Dagstuhl Artifacts Ser., 2023)

Enhancing Cybersecurity Curriculum Development: AI-Driven Mapping and Optimization Techniques. - Petr Dzurenda; Sara Ricci; Marek Sikora; Michal Stejskal; Imre Lendák; Pedro Adão (ARES, 2024)

Web Platform Threats: Automated Detection of Web Security Issues With WPT. - Pedro Bernardo; Lorenzo Veronese; Valentino Dalla Valle; Stefano Calzavara; Marco Squarcina; Pedro Adão; Matteo Maffei (USENIX Security Symposium, 2024)