Pedro Miguel dos Santos Alves Madeira Adão


AuthID: R-000-EYR

Publicações Confirmadas: 18



11
TÍTULO: Computationally Complete Symbolic Attacker in Action
AUTORES: Gergei Bana; Pedro Adão ; Hideki Sakurada;
PUBLICAÇÃO: 2012, FONTE: 32nd International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2012 in IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2012, December 15-17, 2012, Hyderabad, India, VOLUME: 18
INDEXADO EM: Scopus DBLP
NO MEU: ORCID | DBLP
12
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 Cryptology ePrint Archive, VOLUME: 2012
INDEXADO EM: DBLP
NO MEU: DBLP
13
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: Journal of Computer Security, VOLUME: 17, NÚMERO: 5
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: ORCID | DBLP
14
TÍTULO: A Process Algebra for Reasoning About Quantum Security
AUTORES: Pedro Adão ; Paulo Mateus ;
PUBLICAÇÃO: 2007, FONTE: Electr. Notes Theor. Comput. Sci., VOLUME: 170
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: ORCID | DBLP
15
TÍTULO: Cryptographically sound implementations for communicating processes
AUTORES: Pedro Adao ; Cedric Fournet;
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 | ResearcherID | DBLP
16
TÍTULO: Towards a Quantitative Analysis of Security Protocols
AUTORES: Pedro Adão ; Paulo Mateus ; Tiago Reis; Luca Viganò;
PUBLICAÇÃO: 2006, FONTE: Electr. Notes Theor. Comput. Sci., VOLUME: 164, NÚMERO: 3
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: ORCID | DBLP
17
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
NO MEU: ORCID | ResearcherID | DBLP
18
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
NO MEU: ORCID | ResearcherID | DBLP
Página 2 de 2. Total de resultados: 18.

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

Links Úteis

Ajuda

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