A. Scedrov
AuthID: R-006-GXP
1
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
AUTORES: Pedro Adão ; Gergei Bana; Jonathan Herzog; Andre Scedrov;
PUBLICAÇÃO: 2009, FONTE: Journal of Computer Security, VOLUME: 17, NÚMERO: 5
2
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
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
Scopus WOS DBLP3
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
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
