Article Takedown/Update Request

This is an update request for the document Pitfalls in formal reasoning about security protocols by Nina Moebius, Kurt Stenzel and Wolfgang Reif

Your paper was deposited in OPUS - Augsburg University Publication Server and appears online at
Before we are able to make any updates or deletions, you must ensure that the original record at this location is updated/removed.