Sep 24, 2011. I will be the Publication Chair and a PC member for ISPEC'12.
Sep 11, 2011. My variant of the Internet Key Exchange protocol will appear at ISGT'12.
Aug 8, 2011. My definition of anonymity for Direct Anonymous Attestation schemes will appear at FAST'11.
Jul 4, 2011. My work on a provably secure variant of Helios will appear at ESORICS'11.
Apr 20, 2011. My thesis is now available.
Dec 6, 2010. My analysis of ballot secrecy in Helios discovered an attack (update: paper to appear at CSF'11).
Nov 18, 2010. A (revised) preprint of my forthcoming book chapter on the 'applied pi calculus' is now available.
Sep 21, 2010. My work on 'election verifiability' appeared at ESORICS'10.
Aug 13, 2010. I have been working on ProSwapper to handle a larger class of equivalences using ProVerif.