Pedro Miguel dos Santos Alves Madeira Adão


AuthID: R-000-EYR

Publicações Confirmadas: 17



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

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2026 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service