@conference{NSB12,
author = "Binh Thanh Nguyen and Christoph Sprenger and David Basin",
booktitle = "Proceedings of the Doctoral Symposium of International Symposium on Engineering Secure Software and Systems (ESSoS-DS), Eindhoven",
month = "February 15",
note = "projects: NESSoS, partners: ETH; TIER: NoTier; CITE (09/04/14): 0",
title = "{A}ttack-preserving security protocol transformations",
year = "2012",
}