Author of the publication

Verification for Electronic Balloting Systems.

, and . Secure Electronic Voting, volume 7 of Advances in Information Security, Springer, (2003)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Risks of Easy Answers.. Commun. ACM, 38 (9): 130 (1995)On Hierarchical Design of Computer Systems for Critical Applications.. IEEE Trans. Software Eng., 12 (9): 905-920 (1986)Encoding and Decoding for Cyclic Permutation Codes.. IRE Trans. Electron. Comput., 11 (4): 507-511 (1962)Risks to the Public.. ACM SIGSOFT Softw. Eng. Notes, 44 (1): 11-17 (2019)Risks to the Public.. ACM SIGSOFT Softw. Eng. Notes, 41 (1): 18-24 (2016)Risks to the public.. ACM SIGSOFT Softw. Eng. Notes, 35 (4): 17-23 (2010)Risks to the Public.. ACM SIGSOFT Softw. Eng. Notes, 42 (2): 7-14 (2017)Risks to the public in computers and related systems.. ACM SIGSOFT Softw. Eng. Notes, 30 (1): 9-18 (2005)A holistic view of future risks.. Commun. ACM, 63 (10): 23-27 (2020)Through computer architecture, darkly., , , , and . Commun. ACM, 62 (6): 25-27 (2019)