Polynomial liveness*Backes, Michael; Pfitzmann, Birgit; Waidner, Michael; Steiner, Michael; Schneider, S. · Journal of Computer Security · 2004

The reactive simulatability (RSIM) framework for asynchronous systemsMichael Backes; Birgit Pfitzmann; Michael Waidner · 2007

Symmetric authentication in a simulatable Dolev–Yao-style cryptographic libraryMichael Backes; Birgit Pfitzmann; Michael Waidner · International Journal of Information Security · 2005

[ACM Press the 10th ACM conference - Washington D.C., USA (2003.10.27-2003.10.30)] Proceedings of the 10th ACM conference on Computer and communication security - CCS '03 - A composable cryptographic library with nested operationsBackes, Michael; Pfitzmann, Birgit; Waidner, Michael · 2003

Compliant cryptologic protocolsEd Dawson; Kapali Viswanathan; Colin Boyd · International Journal of Information Security · 2002

Computational probabilistic noninterferenceMichael Backes; Birgit Pfitzmann · International Journal of Information Security · 2004

PrefaceMichael Waidner · International Journal of Information Security · 2004

Enabling shared audit dataAdrian Baldwin; Simon Shiu · International Journal of Information Security · 2005

Secure outsourcing of sequence comparisonsMikhail J. Atallah; Jiangtao Li · International Journal of Information Security · 2005

Offline firewall analysisAlain Mayer; Avishai Wool; Elisha Ziskind · International Journal of Information Security · 2006

PrefaceJianying Zhou; Javier Lopez · International Journal of Information Security · 2006