Pedro Adão

According to our database, Pedro Adão authored at least 25 papers between 2005 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

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

Cookie Crumbles: Breaking and Fixing Web Session Integrity.

Marco Squarcina, Pedro Adão, Lorenzo Veronese, Matteo Maffei

Proceedings of the 32nd USENIX Security Symposium, 2023

Toward Tool-Independent Summaries for Symbolic Execution.

Frederico Ramos, Nuno Sabino, Pedro Adão, David A. Naumann, José Fragoso Santos

Proceedings of the 37th European Conference on Object-Oriented Programming, 2023

2022

Concolic Execution for WebAssembly (Artifact).

Filipe Marques, José Fragoso Santos, Nuno Santos, Pedro Adão

Dagstuhl Artifacts Ser., 2022

Maestro: a platform for benchmarking automatic program repair tools on software vulnerabilities.

Eduard Pinconschi, Quang-Cuong Bui, Rui Abreu, Pedro Adão, Riccardo Scandariato

Proceedings of the ISSTA '22: 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, South Korea, July 18, 2022

Concolic Execution for WebAssembly.

Filipe Marques, José Fragoso Santos, Nuno Santos, Pedro Adão

Proceedings of the 36th European Conference on Object-Oriented Programming, 2022

2021

A Comparative Study of Automatic Program Repair Techniques for Security Vulnerabilities.

Eduard Pinconschi, Rui Abreu, Pedro Adão

Proceedings of the 32nd IEEE International Symposium on Software Reliability Engineering, 2021

2020

Formal Verification of Ethereum Smart Contracts Using Isabelle/HOL.

Maria Ribeiro, Pedro Adão, Paulo Mateus

Proceedings of the Logic, 2020

2018

Securing Electronic Health Records in the Cloud.

David R. Matos, Miguel L. Pardal, Pedro Adão, António Rito Silva, Miguel Correia

Proceedings of the 1st Workshop on Privacy by Design in Distributed Systems, 2018

2016

Localizing Firewall Security Policies.

Pedro Adão, Riccardo Focardi, Joshua D. Guttman, Flaminia L. Luccio

Proceedings of the IEEE 29th Computer Security Foundations Symposium, 2016

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ò

Theor. Comput. Sci., 2014

Hybrid learning of Bayesian multinets for binary classification.

Alexandra M. Carvalho, Pedro Adão, Paulo Mateus

Pattern Recognit., 2014

Oblivious transfer based on quantum state computational distinguishability.

André Souto, Paulo Mateus, Pedro Adão, Nikola Paunkovic

CoRR, 2014

Mignis: A Semantic Based Tool for Firewall Configuration.

Pedro Adão, Claudio Bozzato, G. Dei Rossi, Riccardo Focardi, Flaminia L. Luccio

Proceedings of the IEEE 27th Computer Security Foundations Symposium, 2014

2013

Type-Based Analysis of Generic Key Management APIs (Long Version).

Pedro Adão, Riccardo Focardi, Flaminia L. Luccio

IACR Cryptol. ePrint Arch., 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.

Pedro Adão, Riccardo Focardi, Flaminia L. Luccio

Proceedings of the 2013 IEEE 26th Computer Security Foundations Symposium, 2013

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

Computationally Complete Symbolic Attacker in Action.

Gergei Bana, Pedro Adão, Hideki Sakurada

Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2012

2009

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

2006

Towards a Quantitative Analysis of Security Protocols.

Pedro Adão, Paulo Mateus, Tiago Reis, Luca Viganò

Proceedings of the 4th International Workshop on Quantitative Aspects of Programming Languages, 2006

Cryptographically Sound Implementations for Communicating Processes.

Pedro Adão, Cédric Fournet

Proceedings of the Automata, Languages and Programming, 33rd International Colloquium, 2006

2005

A Process Algebra for Reasoning About Quantum Security.

Pedro Adão, Paulo Mateus

Proceedings of the 3rd International Workshop on Quantum Programming Languages, 2005

Soundness of Formal Encryption in the Presence of Key-Cycles.

Pedro Adão, Gergei Bana, Jonathan Herzog, Andre Scedrov

Proceedings of the Computer Security, 2005

Computational and Information-Theoretic Soundness and Completeness of Formal Encryption.

Pedro Adão, Gergei Bana, Andre Scedrov

Proceedings of the 18th IEEE Computer Security Foundations Workshop, 2005