DEF CON 33 - Voting Village - It's Not Safe Yet: Online Voting in Practice - Michael Specter

本演講由一位在麻省理工學院攻讀博士期間進行此研究、現任佐治亞理工學院助理教授的密碼學與系統安全研究者主講。講者開篇闡述理想投票系統應具備的六項密碼學性質：正確性、可用性、隱私、無收據、抵抗脅迫與端到端可驗證性。他指出傳統面對面投票通過物理機制與社會技術手段（如計票設施的多方監督、對抗性制衡）實現這些目標，儘管不具密碼學層面的完美可驗證性，但透過法律與程序保障達成可接受的可信度。

隨著美國部分州出於無障礙與海外選民需求，於2020年部署互聯網投票系統（Voatz用於西弗吉尼亞州22%殘疾選民，Democracy Live允許特拉華與新澤西州100%選民遠程投票），講者決定進行首次對已部署系統的安全分析。其研究模型涵蓋四類攻擊者：設備端惡意軟體、被攻陷服務器、網路攻擊者與無特權第三方。

在Voatz分析中，儘管系統宣稱採用Zirium動態惡意軟體檢測、區塊鏈驗證等防護，但講者發現可致命的缺陷。若攻擊者控制設備，可直接關閉Zirium檢測。加密數據庫儲存投票歷史與驗證憑證，但8位PIN碼僅需1.5小時即可暴力破解，使任何擁有取證工具的人（包括執法機構）都能解密並查閱選民完整投票記錄。密文大小洩露投票內容，因為系統在壓縮前加密，導致密文長度與候選人元數據相關。更甚者，無特權ISP可監察數據包大小推斷選民投票對象。系統聲稱採用ECDSA+HTTPS雙重加密與區塊鏈備份，實際上區塊鏈從未被使用，無服務器公鑰驗證，不提供端到端簽名，完全缺乏密碼學上的可驗證性。

Democracy Live作為網頁應用運行在AWS上，面臨更廣泛的攻擊面。設備惡意軟體與服務器入侵均能完全控制投票過程。系統要求用戶上傳身份證與自拍照至Jumio進行人臉識別與活體檢測，後者非在本地設備執行，而是發送至Jumio服務器，連同GPS位置、設備資訊一併暴露。Jumio開發團隊多駐印度，用戶對此信息外洩毫不知情。系統收集選民姓名、地址、出生日期、社會安全號碼與瀏覽器指紋（一種無法清除的追蹤技術），並與Google Analytics共享選民ID與黨派歸屬，卻無隱私政策約束。

研究過程面臨重大障礙。供應商實施代碼混淆使逆向工程困難（IDA Pro因複雜度崩潰），發佈漏洞的法律風險高（密歇根大學安全研究人員遭聯邦調查局警告），漏洞披露政策禁止披露具體細節。講者與電子前沿基金會向美國最高法院提交法庭之友意見，論證為公共利益進行安全分析的合法性，最高法院的裁決最終支持獨立安全研究。

從宏觀層面，講者分析投票系統市場存在根本性市場失靈。投票系統市場高度分散、缺乏監管、信息不對稱——選民與官員無法衡量系統安全性。按經典經濟學理論，無法衡量的屬性不會被市場估值，因此安全措施薄弱成為廠商的理性選擇。這形成自強化的惡性循環：安全研究人員發現漏洞→漏洞被披露→系統停用或改進→廠商推出下一代系統→仍未經充分安全評估就部署→研究人員再次發現漏洞。

研究結論指出密碼學無法拯救互聯網投票。用戶必然信任眾多未預期的第三方（服務商、瀏覽器廠商、ISP、手機製造商等），端到端可驗證性等密碼學屬性也無法解決訪問控制、隱私洩露與核心實現缺陷。講者現已轉向與選舉官員直接合作，推動部署前的安全評估，而非事後漏洞分析。他強調，未來應關注比投票計票更容易解決的選舉環節，並呼籲對密碼學或系統安全感興趣的研究者參與這一領域。