Michael Kirsten
3
Documents
Publications
Publications
|
|
Recommendations for Implementing Independent Individual Verifiability in Internet VotingE-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
|
|
|
SoK: Mechanisms Used in Practice for Verifiable Internet VotingE-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
|
|
|
Towards automatic argumentation about voting rules4ème conférence sur les Applications Pratiques de l'Intelligence Artificielle APIA2018, Jul 2018, Nancy, France
Communication dans un congrès
hal-01830911
v1
|
Chargement...
Chargement...