@conference{DBLP:conf/post/NguyenS13, author = "Binh Thanh Nguyen and Christoph Sprenger", booktitle = "Principles of Security and Trust - Second International Conference, POST 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings", note = "partners: ETH; projects: NESSoS, TIER: NoTier; CITE (09/04/14): 1", pages = "83-104", publisher = "Springer", title = "{S}ound {S}ecurity {P}rotocol {T}ransformations", year = "2013", }