Pedro Adão

30 papers A* 2A 8B 1Journal 10Unranked 9
YearRankTypeTitle / Venue / Authors
2026 — conf
Smt.ml: A Multi-Backend Frontend for SMT Solvers in OCaml.
TACAS (1)
João Madeira Pereira, Filipe Marques, Pedro Adão, Hichem Rami Ait El Hara, Léo Andrès, Arthur Carcano, Pierre Chambart, Petar Maksimovic, Nuno Santos, José Fragoso Santos
2026 — conf
Specification-Driven Generation of Summaries for Symbolic Execution.
ESOP (1)
Rafael Gonçalves, Frederico Ramos, Pedro Adão, José Fragoso Santos
2025 J jnl
Structuring Security: A Survey of Cybersecurity Ontologies, Semantic Log Processing, and LLMs Application.
CoRR
Bruno Lourenço, Pedro Adão, João F. Ferreira, Mario Monteiro Marques, Cátia Vaz
2024 B conf
Enhancing Cybersecurity Curriculum Development: AI-Driven Mapping and Optimization Techniques.
ARES
Petr Dzurenda, Sara Ricci, Marek Sikora, Michal Stejskal, Imre Lendák, Pedro Adão
2024 A* conf
Web Platform Threats: Automated Detection of Web Security Issues With WPT.
USENIX Security Symposium
Pedro Bernardo, Lorenzo Veronese, Valentino Dalla Valle, Stefano Calzavara, Marco Squarcina, Pedro Adão, Matteo Maffei
2023 A* conf
Cookie Crumbles: Breaking and Fixing Web Session Integrity.
USENIX Security Symposium
Marco Squarcina, Pedro Adão, Lorenzo Veronese, Matteo Maffei
2023 J jnl
Toward Tool-Independent Summaries for Symbolic Execution (Artifact).
Dagstuhl Artifacts Ser.
Frederico Ramos, Nuno Sabino, Pedro Adão, David A. Naumann, José Fragoso Santos
2023 A conf
Toward Tool-Independent Summaries for Symbolic Execution.
ECOOP
Frederico Ramos, Nuno Sabino, Pedro Adão, David A. Naumann, José Fragoso Santos
2022 J jnl
Concolic Execution for WebAssembly (Artifact).
Dagstuhl Artifacts Ser.
Filipe Marques, José Fragoso Santos, Nuno Santos, Pedro Adão
2022 A conf
Concolic Execution for WebAssembly.
ECOOP
Filipe Marques, José Fragoso Santos, Nuno Santos, Pedro Adão
2022 A conf
Maestro: a platform for benchmarking automatic program repair tools on software vulnerabilities.
ISSTA
Eduard Pinconschi, Quang-Cuong Bui, Rui Abreu, Pedro Adão, Riccardo Scandariato
2021 A conf
A Comparative Study of Automatic Program Repair Techniques for Security Vulnerabilities.
ISSRE
Eduard Pinconschi, Rui Abreu, Pedro Adão
2020 — conf
Formal Verification of Ethereum Smart Contracts Using Isabelle/HOL.
Logic, Language, and Security
Maria Ribeiro, Pedro Adão, Paulo Mateus
2018 — conf
Securing Electronic Health Records in the Cloud.
P2DS@EuroSys
David R. Matos, Miguel L. Pardal, Pedro Adão, António Rito Silva, Miguel Correia
2016 A conf
Localizing Firewall Security Policies.
CSF
Pedro Adão, Riccardo Focardi, Joshua D. Guttman, Flaminia L. Luccio
2014 J jnl
Hybrid learning of Bayesian multinets for binary classification.
Pattern Recognit.
Alexandra M. Carvalho, Pedro Adão, Paulo Mateus
2014 A conf
Mignis: A Semantic Based Tool for Firewall Configuration.
CSF
Pedro Adão, Claudio Bozzato, G. Dei Rossi, Riccardo Focardi, Flaminia L. Luccio
2014 J jnl
Oblivious transfer based on quantum state computational distinguishability.
CoRR
André Souto, Paulo Mateus, Pedro Adão, Nikola Paunkovic
2014 J jnl
Protocol insecurity with a finite number of sessions and a cost-sensitive guessing intruder is NP-complete.
Theor. Comput. Sci.
Pedro Adão, Paulo Mateus, Luca Viganò
2013 J jnl
Efficient Approximation of the Conditional Relative Entropy with Applications to Discriminative Learning of Bayesian Network Classifiers.
Entropy
Alexandra M. Carvalho, Pedro Adão, Paulo Mateus
2013 J jnl
Type-Based Analysis of Generic Key Management APIs (Long Version).
IACR Cryptol. ePrint Arch.
Pedro Adão, Riccardo Focardi, Flaminia L. Luccio
2013 A conf
Type-Based Analysis of Generic Key Management APIs.
CSF
Pedro Adão, Riccardo Focardi, Flaminia L. Luccio
2012 — conf
Computationally Complete Symbolic Attacker in Action.
FSTTCS
Gergei Bana, Pedro Adão, Hideki Sakurada
2012 J jnl
Computationally Sound Verification of the NSL Protocol via Computationally Complete Symbolic Attacker.
IACR Cryptol. ePrint Arch.
Gergei Bana, Pedro Adão, Hideki Sakurada
2009 J jnl
Soundness and completeness of formal encryption: The cases of key cycles and partial information leakage.
J. Comput. Secur.
Pedro Adão, Gergei Bana, Jonathan Herzog, Andre Scedrov
2006 — conf
Cryptographically Sound Implementations for Communicating Processes.
ICALP (2)
Pedro Adão, Cédric Fournet
2006 — conf
Towards a Quantitative Analysis of Security Protocols.
QAPL
Pedro Adão, Paulo Mateus, Tiago Reis, Luca Viganò
2005 — conf
A Process Algebra for Reasoning About Quantum Security.
QPL
Pedro Adão, Paulo Mateus
2005 — conf
Computational and Information-Theoretic Soundness and Completeness of Formal Encryption.
CSFW
Pedro Adão, Gergei Bana, Andre Scedrov
2005 A conf
Soundness of Formal Encryption in the Presence of Key-Cycles.
ESORICS
Pedro Adão, Gergei Bana, Jonathan Herzog, Andre Scedrov