Benedikt Westermann, Rolf Wendolsky, Lexi Pimenidis, Dogan Kesdogan: Cryptographic Protocol Analysis of AN.ON. Financial Cryptography 2010: 114-128