Andreas Vogt

Cryptogr., 2018

2014

Formal Analysis of Chaumian Mix Nets with Randomized Partial Checking.

[BibT_eX]

[DOI]

Proceedings of the 2014 IEEE Symposium on Security and Privacy, 2014

2012

Universal properties of approximation operators.

[BibT_eX]

[DOI]

J. Approx. Theory, 2012

Clash Attacks on the Verifiability of E-Voting Systems.

[BibT_eX]

[DOI]

Proceedings of the IEEE Symposium on Security and Privacy, 2012

2011

Verifiability, Privacy, and Coercion-Resistance: New Insights from a Case Study.

[BibT_eX]

[DOI]

Proceedings of the 32nd IEEE Symposium on Security and Privacy, 2011

2010

Proving Coercion-Resistance of Scantegrity II.

[BibT_eX]

[DOI]

Proceedings of the Information and Communications Security - 12th International Conference, 2010

A Game-Based Definition of Coercion-Resistance and Its Applications.

[BibT_eX]

[DOI]

Proceedings of the 23rd IEEE Computer Security Foundations Symposium, 2010

Accountability: definition and relationship to verifiability.

[BibT_eX]

[DOI]

Proceedings of the 17th ACM Conference on Computer and Communications Security, 2010

2009

Improving and Simplifying a Variant of Prêt à Voter.

[BibT_eX]

[DOI]