Saarland University: Publications

This is a list of MAFTIA-related publications from Saarland University.

A.-R. Sadeghi and M. Steiner, Assumptions related to Discrete Logarithims: Why subtleties make a real difference
In Proceedings of Eurocrypt 2001, May 2001, pp. 243-260, Lecture Notes in Computer Science, Vol: 2045, Springer-Verlag
Available from http://www.semper.org in [ ] [  ] format

A.-R. Sadeghi and M. Steiner, Assumptions related to Discrete Logarithims: Why subtleties make a real difference
CryptEAr 2002/126, 2002
Available from iacr.org in [ pdf ] [ ps.gz ] format

EuroCrypt 2001, Pfitzmann, B. (ed),
Lecture Notes in Computer Science, Vol: 2045, Springer Verlag, 2001
Available from http://link.springer.de/link/service/series/0558/tocs/t2045.htm

Schunter, M., Optimistic Fair Exchange, Technische Fakultat der Universitat des Saarlandes, Saarbrucken, October 2002
Available from http://www.semper.org in [ ] [ ] format

Steiner, M., Secure Group Key Agreement, Naturwissenschaftlich-Technische Fakultat der Universitat des Saarlandes, Saarbrucken, March 2002
Available from

With IBM

B. Pfitzmann, M. Schunter, and M. Waidner, Cryptographic Security of Reactive Systems
In Proceedings of the Workshop on Secure Architectures and Information Flow, Royal Holloway, University of London, December 1-3, 1999
Electronic Notes in Theoretical Computer Science (ENTCS) 32, 2000
Available from Elsevier Press

B. Pfitzmann, M. Schunter, M. Waidner, Secure Reactive Systems
IBM Research Report RZ 3206 (#93252) 02/14/00, IBM Research Division, Zürich, February 2000
Available from

B. Pfitzmann, M. Schunter, M. Waidner, Provably Secure Certified Mail
IBM Research Report RZ 3207 (#93253), 02/14/00, IBM Research Division, Zurich, August 2000
Available from

B. Pfitzmann, M. Waidner, Composition and Integrity Preservation of Secure Reactive Systems
In Proceedings of the 7th ACM Conference on Computer and Communications Security, Athens, November 2000, pp. 245-254, ACM Press, New York 2000
Available from

B. Pfitzmann, M. Waidner, A Model for Asynchronous Reactive Systems and its Application to Secure Message Transmission
IBM Research Report RZ 3304 (#93350) 12/11/2000, IBM Research Division, Zurich, December 2000
Available from http://eprint.iacr.org/2000/066.ps.gz

B. Pfitzmann, M. Waidner, A Model for Asynchronous Reactive Systems and its Application to Secure Message Transmission
In Proceedings of the IEEE Symposium on Research in Security and Privacy, Oakland, USA, 2001, pp 184- 200 (a later and less detailed version of the above)

M. Backes, B. Pfitzmann, M. Steiner, and M. Waidner, Polynomial Fairness and Liveness
In Proceedings of the 15th Computer Security Foundations Workshop (CFSW 2002), Cape Breton, Nova Scotia, 2002, IEEECSP, pp 160-174

M. Backes, C. Jacobi, and B. Pfitzmann, Deriving Cryptographically Sound Implementations Using Composition and Formally Verified Bisimulation
In Proceedings of Formal Methods Europe 2002 (FME '02), pp.310-359
Lecture Notes in Computer Science 2391, Springer-Verlag, Berlin, 2002

All Partners

D. Powell, A. Adelsbach, C. Cachin, S. Creese, M. Dacier, Y. Deswarte, T. McCutcheon, N. Neves, B. Pfitzmann, B. Randell, R. Stroud, P. Veríssimo, M. Waidner, MAFTIA (Malicious- and Accidental-Fault Tolerance for Internet Applications)
In Sup. of the Proceedings of the 2001 International Conference on Dependable Systems and Networks (DSN2001), Göteborg (Sweden), 1-4 July 2001, pp. D-32-D-35