Personal communication

Michael Backes has left IBM Zurich Research Laboratory!

New e-mail address:
backes@cs.uni-sb.de
New web address:
http://www.infsec.cs.uni-sb.de/~backes/

[an error occurred while processing this directive]