Ralf Küsters, Tomasz Truderung, Andreas Vogt 0001. Verifiability, Privacy, and Coercion-Resistance: New Insights from a Case Study. In 32nd IEEE Symposium on Security and Privacy, S&P 2011, 22-25 May 2011, Berkeley, California, USA. pages 538-553, IEEE Computer Society, 2011. [doi]
Abstract is missing.