Michael Kirsten

Identifiants chercheurs

IdHAL :

michael-kirsten

ORCID :

0000-0001-9816-1504

Publications

Communication dans un congrès (3)

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
Recommendations for Implementing Independent Individual Verifiability in Internet Voting Florian Moser,Rüdiger Grimm,Tobias Hilt,Michael Kirsten,Christoph Niederbuddeet 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
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