2008年第17届USENIX安全研讨会:美国加利福尼亚州圣何塞-EVT
大卫·L·迪尔 , 塔达约希·科诺 :
2008年USENIX/ACCURATE电子投票研讨会,EVT 2008,2008年7月28日至29日,美国加利福尼亚州圣何塞,会议记录。 USENIX协会 2008
审计和统计第一节
贾维德·阿斯拉姆 , 罗卢卡·A·波帕 , 罗纳德·里维斯 :
选区规模不同时的选举审计。 Arel Cordero公司 , 大卫·A·瓦格纳 :
可重播投票机审计日志。 约瑟夫·卡兰德里诺 , J.亚历克斯·哈尔德曼 , 爱德华·W·费尔顿 :
为伪随机样本选择辩护。
新方向与旧方向的反思
J.亚历克斯·哈尔德曼 , 埃里克·莱斯科拉 , 霍瓦夫·沙查姆 , 大卫·A·瓦格纳 :
您使用您拥有的投票系统参加选举:部署投票系统的停止地图缓解。 乔什·贝纳洛 :
行政和公共可验证性:我们可以两者兼得吗? 丹尼尔·桑德勒 , 丹·斯瓦拉赫 :
网络化远程投票选区案例。
审计和统计第二部分
塞达·达夫蒂安 , 索蒂里斯·肯特罗斯 , 阿格洛斯·凯亚斯 , 劳伦特·米歇尔 , 尼古拉斯·C·尼古拉欧 , 亚历山大·罗素 , 安德鲁·西 , Narasimha K.Shashidhar公司 , 亚历山大·施瓦尔茨曼 :
光学扫描投票终端存储卡的选择前测试和选择后审计。 约瑟夫·洛伦佐大厅 :
提高加州1%人工理货程序的安全性、透明度和效率。 斯蒂芬·戈金 , 迈克尔·D·伯恩 , 胡安·吉尔伯特 , 格雷戈里·罗杰斯 , 杰罗姆·麦克伦登 :
比较光学扫描、投票人验证纸张审计跟踪(VVPAT)和视频(VVVAT)选票系统的可审计性。
传统电子投票系统
Komminist Weldemariam公司 , 阿道夫·维拉菲奥里塔 :
(e)投票中程序安全的建模和分析:特伦蒂诺的方法和经验。 亚当·J·阿维夫 , 帕沃尔·塞恩 , 桑迪·克拉克 , 埃里克·克罗宁 , 高拉夫·沙阿 , 迈卡·谢尔 , 马特·布拉泽 :
ES&S投票机和选举管理系统的安全评估。 凯文·巴特勒 , 威廉·恩克 , 哈里·赫斯蒂 , 斯蒂芬·麦克劳林 , 帕特里克·特雷纳 , 帕特里克·D·麦克丹尼尔 :
哈特市际和总理选举系统中的系统性问题:对EVEREST项目的反思。
加密投票系统
哲霞 , 史蒂夫·施耐德 , 詹姆斯·希瑟 , 雅克·特拉奥雷 :
分析、改进和简化使用Paillier加密的普雷塔投票器。 大卫·乔姆 , 理查德·卡巴克 , 杰里米·克拉克 , 亚历山大·埃塞克斯 , 斯特凡·波波维纽克 , 罗纳德·里维斯 , 彼得·Y·A·瑞恩 , 艾米丽·沈 , 阿兰·谢尔曼 :
Scantegrity II:使用隐形墨水确认码的光学扫描选择系统的端到端验证。 凡妮莎·蒂格 , 金·拉姆琴 , 李·奈什 :
STV投票的抗胁迫计票。