Michael Kirsten

3
Documents

Publications

Publications

Image document

Recommendations for Implementing Independent Individual Verifiability in Internet Voting

Florian Moser , Rüdiger Grimm , Tobias Hilt , Michael Kirsten , Christoph Niederbudde et al.
E-Vote-ID 2024 - 9th International Joint Conference on Electronic Voting, Oct 2024, Tarragona, Spain. pp.35-53, ⟨10.18420/e-vote-id2024_02⟩
Communication dans un congrès hal-04663997 v1
Image document

SoK: Mechanisms Used in Practice for Verifiable Internet Voting

Florian Moser , Michael Kirsten , Felix Dörre
E-Vote-ID 2024 - 9th International Joint Conference on Electronic Voting, Oct 2024, Tarragona, Spain. pp.141-162, ⟨10.18420/e-vote-id2024_10⟩
Communication dans un congrès hal-04686386 v1
Image document

Towards automatic argumentation about voting rules

Michael Kirsten , Olivier Cailloux
4ème conférence sur les Applications Pratiques de l'Intelligence Artificielle APIA2018, Jul 2018, Nancy, France
Communication dans un congrès hal-01830911 v1