By year
2009
- [MV09]
Sebastian Mödersheim and Luca Viganò. Secure Pseudonymous Channels. Proceedings of ESORICS 2009, to appear.
Extended version available as IBM Research Report RZ3724.
- [M09]
Sebastian Mödersheim. Algebraic Properties in Alice and Bob Notation. Proceedings of Ares 2009. DOI Bookmark. IEEE Computer Society, 2009.
Extended version available as IBM Research Report RZ3709.

