2009 |
2008 |
2007 |
2006 |
2005 |
2004 |
2003 |
2002 |
2001 |
2000 |
1999 |
1998 |
1997 |
1996 |
1995 |
1994 |
1993 |
1992 |
1991 |
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.

