Michael Kirsten

3
Documents
Affiliations actuelles
  • Karlsruhe Institute of Technology = Karlsruher Institut für Technologie (KIT)
  • Ludwig Maximilian University [Munich] = Ludwig Maximilians Universität München (LMU)
Identifiants chercheurs

Publications

Publications

Deposit thumbnail

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-04663997v1
Deposit thumbnail

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-04686386v1
Deposit thumbnail

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-01830911v1