Michael Backes, Birgit Pfitzmann, and Michael Waidner. Limits of the reactive simulatability/uc of dolev-yao models with hashes. Cryptology ePrint Archive, Report 2006/014 (http://eprint.iacr.org/2006/068), 2006. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Conditional Reactive Simulatability - Backes, Dürmuth, Hofheinz, Küsters (2006) Self-citation (Simulatability) (Correct)
No context found.
Michael Backes, Birgit Pfitzmann, and Michael Waidner. Limits of the Reactive Simulatability/UC of Dolev-Yao models with hashes. Cryptology ePrint Archive
Completeness of Formal Hashes in the - Standard Model Flavio (2006) (Correct)
No context found.
Michael Backes, Birgit Pfitzmann, and Michael Waidner. Limits of the reactive simulatability/uc of dolev-yao models with hashes. Cryptology ePrint Archive, Report 2006/014 (http://eprint.iacr.org/2006/068), 2006.
Sound Computational Interpretation of - Symbolic Hashes In (Correct)
No context found.
BPW06. Michael Backes, Birgit Pfitzmann, and Michael Waidner. Limits of the reactive simulatability/UC of Dolev-Yao models with hashes. Cryptology ePrint Archive, Report 2006/014 (http://eprint.iacr.org/2006.
Completeness of Formal Hashes in the Standard Model - Garcia, van Rossum (Correct)
No context found.
Michael Backes, Birgit Pfitzmann, and Michael Waidner. Limits of the reactive simulatability/uc of dolev-yao models with hashes. Cryptology ePrint Archive, Report 2006/014 (http://eprint.iacr.org/2006/068), 2006.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC