Creating and sharing knowledge for telecommunications
... Pedro Miguel dos Santos Alves Madeira Adão

Researcher

Pedro Adão

Academic position: Associate Professor
Joining date: 31-12-2006
Roles in IT: Researcher
Thematic Line: Networks and Services
Group: Security and Quantum Information - Lx

Email: Send Email
Address: IT – Lisboa
Instituto Superior Técnico - Torre Norte - Piso 10
Av. Rovisco Pais, 1
1049 - 001 Lisboa
Tel: +351 21 841 84 54
Fax: +351 21 841 84 72

Alternative Personal Web Page



Scientific Achievements

  • PhD, Instituto Superior Técnico, 12-12-2006
  • Licenciatura, Instituto Superior Técnico, 31-07-2002
  • Instituto Superior Técnico, 01-07-2020, Associate Professor
  • Software Security
  • Specification and verification of cryptographic protocols
  • Mathematical Foundations of Cryptography
  • Composition of Cryptographic Systems
As Supervisor
As Co-supervisor
As Supervisor
  • P. Mateus, P. Adão, M. Ribeiro, Formal Verification of Ethereum Smart Contracts Using Isabelle/HOL, Chapter in, Logic, Language, and Security Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday, Springer, Berlin, 2020
  • P. Adão, C. Fournet, Cryptographically sound implementations for communicating processes, Chapter in, Proceedings of the 33rd International Colloquium on Automata, Languages and Programming (ICALP'06), volume 4052 of Lecture Notes in Computer Science, pages 83-94, M. Bugliese, B. Preneel, V. Sassone, and I. Wegener, Springer, Lisboa, 2006
  • P. Adão, G. Bana, J. Herzog, A. Scedrov, Soundness of formal encryption in the presence of key-cycles, Chapter in, Proceeding of the 10th European Symposium on Research in Computer Security (ESORICS), volume 3679 of Lecture Notes in Computer Science, pages 374-396, S. De Capitani di Vimercati, P. Syverson and D. Gollmann, Springer, 2005
  • F. Marques, J. Fragoso Santos, N. Santos, P. Adão, Concolic Execution for WebAssembly, 36th European Conference on Object-Oriented Programming - ECOOP, Berlin, Germany, Vol. 222, pp. 1 - 29, June, 2022,
    | Abstract
    | BibTex
  • F. Marques, J. Fragoso Santos, N. Santos, P. Adão, Concolic Execution for WebAssembly (Artifact), 36th European Conference on Object-Oriented Programming - ECOOP, Berlin, Germany, Vol. 8, pp. 1 - 3, June, 2022,
    | Abstract
    | BibTex
  • E. Pinconschi, R. Abreu, P. Adão, A Comparative Study of Automatic Program Repair Techniques for Security Vulnerabilities, International Symposium on Software Reliability Engineering ISSRE, Wuhan, China, October, 2021 | Full text (PDF 1 MB) | BibTex
  • D. R. Matos, M. Pardal, P. Adão, A. Rito Silva, M. Pupo Correia, Securing Electronic Health Records in the Cloud, Workshop on Privacy by Design in Distributed Systems P2DS, Porto, Portugal, April, 2018 | BibTex
  • P. Adão, RF Focardi, JDG Guttman, FLL Luccio, Localizing Firewall Security Policies, IEEE Computer Security Foundations Symposium - CSF, Lisboa, Portugal, Vol. 1, pp. 194 - 209, June, 2016,
    | Abstract
    | BibTex
  • P. Adão, CB Bozzato, GDR Dei Rossi, RF Focardi, FLL Luccio, Mignis: A Semantic Based Tool for Firewall Configuration, IEEE Computer Security Foundations Workshop - CSFW, Vienna, Austria, Vol., pp. 351 - 365, July, 2014 | Full text (PDF 395 KBs) | BibTex
  • P. Adão, RF Focardi, FLL Luccio, Type-Based Analysis of Generic Key Management APIs, IEEE Computer Security Foundations Workshop - CSFW, New Orleans, United States, Vol., pp. 97 - 111, June, 2013 | Full text (PDF 428 KBs) | BibTex
  • G. Bana, P. Adão, H. Sakurada, Computationally Complete Symbolic Attacker in Action, Foundations of Software Technology and Theoretical Computer Science - FSTTCS, Hyderabad, India, Vol. 18, pp. 546 - 560, December, 2012 | Full text (PDF 383 KBs) | BibTex
  • P. Adão, J. M. Mendes, Trusted Civitas: Client Trust in CIVITAS Electronic Voting Protocol, Inforum - Simpósio de Informática, Lisboa, Portugal, Vol. 0, pp. 0 - 0, September, 2012 | Full text (PDF 376 KBs) | BibTex
  • P. Adão, E. Sixpence Sixpence, C. Smith Smith, Automatização de Casos de Teste como Processo de Melhoria da Qualidade do Software: O caso da Aplicação e-Learning ISUPAC3 no ISUTC, Congresso Luso Moçambicano de Engenharia - CLME, Maputo, Mozambique, Vol. xxx, pp. xxx - xxx, September, 2011 | BibTex
  • P. Adão, G. Bana, A. Scedrov, Computational and information-theoretic soundness and completeness of formal encryption, IEEE Computer Security Foundations Workshop - CSFW, Aix-en-Provence, France, Vol. -, pp. 170 - 184, June, 2005 | BibTex

Closed Projects7

Acronym Name Funding Agency Start date Ending date
ComFormCrypt ComFormCrypt - Computational Semantics of Formal Methods in Cryptography FCT/PTDC 01-02-2011 01-07-2014
Confident Confident - Communication Contracts for Distributed Systems Development FCT 01-05-2016 01-05-2019
DIVINA DIVINA: Detecting Injection Vulnerabilities In Node.js Applications FCT/ CMU 26-03-2022 25-03-2023
DP-PMI Doctoral Programme in the Physics and Mathematics of Information: Foundations of Future Information Technologies (DP-PMI) FCT 01-01-2014 01-12-2021
KLog KLog - Logics for Security FCT/PTDC 01-08-2007 01-08-2010
QSec Quantum Security FCT/PTDC 01-11-2007 01-10-2009
QuanLog Logic in Quantum Computation and Information FCT/POCI 01-01-2005 01-12-2007
  • P. Adão, Curso de Aperfeiçoamento InfoSec---Segurança de Sistemas de Informação e Comunicação, Tutorial, Escola de Tecnologias Navais, 01-11-2007
  • P. Adão, CB Bozzato, GDR Dei Rossi, RF Focardi, FLL Luccio, A Semantic Based Tool for Firewall Configuration (Extended Abstract), France, Grenoble, 04-2014
  • P. Adão, CB Bozzato, GDR Dei Rossi, RF Focardi, FLL Luccio, Mignis: A Semantic Based Tool for Firewall Configuration, France, Paris, 04-2014
  • P. Adão, C. Caleiro, A Natural Deduction System for the Computational Complete Symbolic Adversary, United States, New Orleans, LA, 06-2013
  • P. Adão, P. Mateus, A. Souto, A Quantum Digital Signature Scheme, Portugal, Lisboa, 05-2013
  • P. Adão, G. Bana, H. Sakurada, Verification of Security Protocols. How much can we trust our proofs?, Italy, Venice, 03-2013
  • P. Adão, G. Bana, H. Sakurada, Computationally Sound Verification of the NSL Protocol via Computationally Complete Symbolic Attacker, United States, Cambridge, 06-2012
  • P. Adão, G. Bana, Logical Proofs of Authentication Protocols and Type-Flaw Attacks, United Kingdom, Edinburgh, 07-2010
  • P. Adão, High-Level Programming for E-Cash with Transferable Identification, France, Paris, 05-2009
  • P. Adão, High-Level Programming for Offline E-Cash, France, Paris, 05-2009
  • P. Adão, C. Fournet, Guts, Zappa Nardelli, High-Level Programming for E-Cash, Japan, Izu-Atagawa, 04-2009
  • P. Adão, C. Fournet, Guts, Zappa Nardelli, High-Level Programming for E-Cash, United States, Pittsburgh, 06-2008
  • P. Adão, C. Fournet, Language Design for Computationally Sound Communications Abstractions, Italy, Venice, 07-2006
  • P. Adão, P. Mateus, T. Reis, L. Viganò, Towards a Quantitative Analysis of Security Protocols, Austria, Vienna, 04-2006
  • P. Adão, P. Mateus, A Process Algebra for Reasoning About Quantum Security, United States, Chicago, 06-2005
  • Workshop on Education, Training and Awareness in Cybersecurity ETACS, Technical Programme Committee, 2022
  • Inforum - Simpósio de Informática, Technical Programme Committee, 2022
  • Workshop on Education, Training and Awareness in Cybersecurity ETACS, Technical Programme Committee, 2021
  • Annual Privacy Forum APF, Technical Programme Committee, 2021
  • Inforum - Simpósio de Informática, Technical Programme Committee, 2018
  • Inforum - Simpósio de Informática, Technical Programme Committee, 2017
  • IEEE Computer Security Foundations Symposium - CSF, Conference Chairman, 2017
  • Inforum - Simpósio de Informática, Technical Programme Committee, 2016
  • IEEE Computer Security Foundations Workshop - CSFW, Conference Chairman, 2016
  • Conf. on Principles of Security and Trust - POST, Scientific Committee, 2015
  • Inforum - Simpósio de Informática, Scientific Committee, 2015
  • Inforum - Simpósio de Informática, Scientific Committee, 2014
  • International Conf. on the Quality of Information and Communications Technology (QUATIC), Technical Programme Committee, 2014
  • Joint Workshop on Foundations of Computer Security and on Formal and Computational Cryptography - FCS-FCC, Technical Programme Committee, 2014
  • Conf. on Electronics, Telecommunications and Computers - CETC, Scientific Committee, 2013
  • Inforum - Simpósio de Informática, Sessions Chairman, 2013
  • Inforum - Simpósio de Informática, Sessions Chairman, 2012
  • Conf. on Electronics, Telecommunications and Computers - CETC, Scientific Committee, 2011
  • Inforum - Simpósio de Informática, Scientific Committee, 2011
  • Inforum - Simpósio de Informática, Technical Programme Committee, 2010
  • International Workshop on Quantum Cryptography and Security - LQCIL, Organizing Committee, 2009
  • Conf. Nacional sobre Segurança Informática nas Organizações - SINO, Technical Programme Committee, 2007
  • International Workshop on Issues in the Theory of Security - WITS, Technical Programme Committee, 2007
  • International Workshop on Quantum Cryptography and Security - LQCIL, Organizing Committee, 2007
  • Journal of Automated Reasoning
    2009, 1 review(s); 2005, 1 review(s);
  • Information and Computation
    2007, 1 review(s);
  • Computers and Security
    2007, 1 review(s);
  • ACM Transactions on Computational Logic
    2007, 1 review(s);
  • Theoretical Computer Science
    2013, 1 review(s);
  • Conf. on Advanced Information Systems Engineering - CAISE
    2003, 1 review(s);
  • European Symp. on Research in Computer Security - ESORICS
    2009, 1 review(s); 2006, 1 review(s);
  • European Symp. on Programming - ESOP
    2006, 1 review(s);
  • Workshop on Quantitative Aspects of Programming Languages - QAPL
    2009, 1 review(s); 2006, 1 review(s);

  • 2007, 1 review(s);
  • ACM Conf. on Computer and Communications Security - CCS
    2008, 1 review(s);
  • International Conf. on Rewriting Techniques and Applications - RTA
    2009, 1 review(s);
  • Computability in Europe - CIE
    2010, 1 review(s);
  • IEEE Computer Security Foundations Workshop - CSFW
    2014, 1 review(s); 2013, 1 review(s);
  • Conf. on Principles of Security and Trust - POST
    2013, 1 review(s);