- ホーム
- > 洋書
- > 英文書
- > Computer / General
Full Description
The papers include a range of works on end-to-end verifiable election systems, verifiably correct complex tallying algorithms, human perceptions of verifiability, formal models of verifiability and, of course, attacks on systems formerly advertised as verifiable.



