Pedro Adão

Publication Activity (10 Years)

Years Active: 2005-2024
Publications (10 Years): 12

Top Topics

Security Vulnerabilities

Binary Classification

Top Venues

USENIX Security Symposium

Dagstuhl Artifacts Ser.

Publications

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