Merkliste 
 1 Ergebnisse 
 
1

Verifiable Homomorphic Tallying for the Schulze Vote Counti..:

, In: Lecture Notes in Computer Science; Verified Software. Theories, Tools, and Experiments,