I. Kirlappos, A. Beautement, and M. Sasse. Financial Cryptography Workshops, volume 7862 of Lecture Notes in Computer Science, page 70-82. Springer, (2013)
D. Basin, M. Keller, S. Radomirovic, and R. Sasse. Logic, Rewriting, and Concurrency, volume 9200 of Lecture Notes in Computer Science, page 160-180. Springer, (2015)
M. Volkamer, M. Sasse, and F. Boehm. DETIPS/DeSECSys/MPS/SPOSE@ESORICS, volume 12580 of Lecture Notes in Computer Science, page 312-328. Springer, (2020)
A. Bouch, and M. Sasse. GI Jahrestagung (1), volume 157 of Schriftenreihe der Österreichischen Computer-Gesellschaft, page 122-128. Konstanz UVK-Verl.-Ges., (2001)