Pedro Miguel dos Santos Alves Madeira Adão


AuthID: R-000-EYR

Confirmed Publications: 17



11
TITLE: Computationally Sound Verification of the NSL Protocol via Computationally Complete Symbolic Attacker
AUTHORS: Gergei Bana; Pedro Adão ; Hideki Sakurada;
PUBLISHED: 2012, SOURCE: IACR Cryptol. ePrint Arch., VOLUME: 2012
INDEXED IN: DBLP
12
TITLE: Soundness and completeness of formal encryption: The cases of key cycles and partial information leakage  Full Text
AUTHORS: Pedro Adão ; Gergei Bana; Jonathan Herzog; Andre Scedrov;
PUBLISHED: 2009, SOURCE: J. Comput. Secur., VOLUME: 17, ISSUE: 5
INDEXED IN: Scopus DBLP CrossRef: 13
IN MY: ORCID
13
TITLE: Cryptographically sound implementations for communicating processes
AUTHORS: Adao, P ; Fournet, C;
PUBLISHED: 2006, SOURCE: 33rd International Colloquium on Automata, Languages and Programming in AUTOMATA, LANGUAGES AND PROGRAMMING, PT 2, VOLUME: 4052
INDEXED IN: Scopus WOS DBLP
IN MY: ORCID
14
TITLE: Towards a Quantitative Analysis of Security Protocols
AUTHORS: Pedro Adão ; Paulo Mateus ; Tiago Reis; Luca Viganò;
PUBLISHED: 2006, SOURCE: QAPL, VOLUME: 164, ISSUE: 3 SPEC. ISS.
INDEXED IN: Scopus DBLP CrossRef: 4
IN MY: ORCID
15
TITLE: A Process Algebra for Reasoning About Quantum Security
AUTHORS: Pedro Adão ; Paulo Mateus ;
PUBLISHED: 2005, SOURCE: QPL, VOLUME: 170
INDEXED IN: Scopus DBLP CrossRef: 6
IN MY: ORCID
16
TITLE: Computational and information-theoretic soundness and completeness of formal encryption
AUTHORS: Adao, P ; Bana, G; Scedrov, A;
PUBLISHED: 2005, SOURCE: 18th IEEE Computer Security Foundations Workshop in 18TH IEEE COMPUTER SECURITY FOUNDATIONS WORKSHOP, PROCEEDINGS
INDEXED IN: Scopus WOS DBLP CrossRef: 13
IN MY: ORCID
17
TITLE: Soundness of formal encryption in the presence of key-cycles
AUTHORS: Adao, P ; Bana, G; Herzog, J; Scedrov, A;
PUBLISHED: 2005, SOURCE: 10th European Symposium on Research in Computer Security in COMPUTER SECURITY - ESORICS 2005, PROCEEDINGS, VOLUME: 3679
INDEXED IN: Scopus WOS DBLP CrossRef: 47
IN MY: ORCID
Page 2 of 2. Total results: 17.

footer slogan

Useful Links

Get Help

© 2026 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service