@dblp

Verified Certificate Checking for Counting Votes.

, , , and . VSTTE, volume 11294 of Lecture Notes in Computer Science, page 69-87. Springer, (2018)

Links and resources

Tags