![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Pedro Adão
Person information
Refine list
![note](https://dblp.dagstuhl.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [c18]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: 107:1-107:10 - [c17]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 - 2023
- [j6]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): 07:1-07:4 (2023) - [c16]Frederico Ramos, Nuno Sabino, Pedro Adão, David A. Naumann
, José Fragoso Santos
:
Toward Tool-Independent Summaries for Symbolic Execution. ECOOP 2023: 24:1-24:29 - [c15]Marco Squarcina, Pedro Adão, Lorenzo Veronese, Matteo Maffei:
Cookie Crumbles: Breaking and Fixing Web Session Integrity. USENIX Security Symposium 2023: 5539-5556 - 2022
- [j5]Filipe Marques
, José Fragoso Santos, Nuno Santos, Pedro Adão:
Concolic Execution for WebAssembly (Artifact). Dagstuhl Artifacts Ser. 8(2): 20:1-20:3 (2022) - [c14]Filipe Marques
, José Fragoso Santos
, Nuno Santos
, Pedro Adão:
Concolic Execution for WebAssembly. ECOOP 2022: 11:1-11:29 - [c13]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: 789-792 - 2021
- [c12]Eduard Pinconschi, Rui Abreu, Pedro Adão
:
A Comparative Study of Automatic Program Repair Techniques for Security Vulnerabilities. ISSRE 2021: 196-207 - 2020
- [c11]Maria Ribeiro, Pedro Adão
, Paulo Mateus
:
Formal Verification of Ethereum Smart Contracts Using Isabelle/HOL. Logic, Language, and Security 2020: 71-97
2010 – 2019
- 2018
- [c10]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: 1:1-1:6 - 2016
- [c9]Pedro Adão
, Riccardo Focardi
, Joshua D. Guttman, Flaminia L. Luccio
:
Localizing Firewall Security Policies. CSF 2016: 194-209 - 2014
- [j4]Alexandra M. Carvalho
, Pedro Adão
, Paulo Mateus
:
Hybrid learning of Bayesian multinets for binary classification. Pattern Recognit. 47(10): 3438-3450 (2014) - [j3]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: 2-15 (2014) - [c8]Pedro Adão
, Claudio Bozzato, G. Dei Rossi, Riccardo Focardi
, Flaminia L. Luccio
:
Mignis: A Semantic Based Tool for Firewall Configuration. CSF 2014: 351-365 - [i3]André Souto, Paulo Mateus, Pedro Adão, Nikola Paunkovic:
Oblivious transfer based on quantum state computational distinguishability. CoRR abs/1403.6022 (2014) - 2013
- [j2]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): 2716-2735 (2013) - [c7]Pedro Adão
, Riccardo Focardi
, Flaminia L. Luccio
:
Type-Based Analysis of Generic Key Management APIs. CSF 2013: 97-111 - [i2]Pedro Adão, Riccardo Focardi, Flaminia L. Luccio:
Type-Based Analysis of Generic Key Management APIs (Long Version). IACR Cryptol. ePrint Arch. 2013: 237 (2013) - 2012
- [c6]Gergei Bana, Pedro Adão
, Hideki Sakurada:
Computationally Complete Symbolic Attacker in Action. FSTTCS 2012: 546-560 - [i1]Gergei Bana, Pedro Adão, Hideki Sakurada:
Computationally Sound Verification of the NSL Protocol via Computationally Complete Symbolic Attacker. IACR Cryptol. ePrint Arch. 2012: 316 (2012)
2000 – 2009
- 2009
- [j1]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): 737-797 (2009) - 2006
- [c5]Pedro Adão, Cédric Fournet:
Cryptographically Sound Implementations for Communicating Processes. ICALP (2) 2006: 83-94 - [c4]Pedro Adão
, Paulo Mateus
, Tiago Reis, Luca Viganò:
Towards a Quantitative Analysis of Security Protocols. QAPL 2006: 3-25 - 2005
- [c3]Pedro Adão
, Gergei Bana, Andre Scedrov:
Computational and Information-Theoretic Soundness and Completeness of Formal Encryption. CSFW 2005: 170-184 - [c2]Pedro Adão
, Gergei Bana, Jonathan Herzog, Andre Scedrov:
Soundness of Formal Encryption in the Presence of Key-Cycles. ESORICS 2005: 374-396 - [c1]Pedro Adão
, Paulo Mateus
:
A Process Algebra for Reasoning About Quantum Security. QPL 2005: 3-21
Coauthor Index
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-05 20:21 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint