Concepedia

Pedro Adão

PA

Statistics

Publications

11

Citations

268

H-Index

11

Active since

2005

Affiliations

Instituto de Telecomunicações(Current)

University of Lisbon

Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento

Instituto Politécnico de Lisboa

University of Pennsylvania

Pedro Adão is an author at Instituto de Telecomunicações specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsData SecurityFormal VerificationCryptographyInformation SecurityData PrivacyComputer EngineeringData Mining

Publications per year

2005–2021

11

Publications

11

Super modules-based active QR codes for smart trackability and IoT: a responsive-banknotes case study

João F. C. B. Ramalho, Sandra F. H. Correia, Lianshe Fu et al. · npj Flexible Electronics · 2020 · 51 citations · Full text

Triple Storage Capacity, Engineering, Smart Systems +10

Computational and Information-Theoretic Soundness and Completeness of Formal Encryption

Pedro Adão, Gergei Bana, Andre Scedrov · 2005 · 45 citations

Cryptographic Primitive, Abadi-rogaway Logic, Engineering +14

Mignis: A Semantic Based Tool for Firewall Configuration

Pedro Adão, Cristian Bozzato, Gian-Luca Dei Rossi et al. · 2014 · 25 citations · Full text

Engineering, Information Security, Next-generation Firewall +21

A Process Algebra for Reasoning About Quantum Security

Pedro Adão, Paulo Mateus · Electronic Notes in Theoretical Computer Science · 2007 · 25 citations · Full text

Random Access Machines, Quantum Software, Quantum System Software +19

Soundness and completeness of formal encryption: The cases of key cycles and partial information leakage

Pedro Adão, Gergei Bana, Jonathan Herzog et al. · Journal of Computer Security · 2009 · 23 citations

Cryptography Hides, Cryptographic Primitive, Engineering +20

1–5 of 11