Date：2025/12/5 15:40-17:00
Location：R103, CSIE
Speakers：Dr. Daniel Zimmerman
Host：蕭旭君教授
Abstract:
In this talk I'll introduce VoteSecure (https://github.com/FreeAndFair/VoteSecure), a cryptographic SDK that we at Free & Fair designed and built over the past 18 months. VoteSecure includes a Rust implementation of all the core cryptographic primitives and protocols necessary to enable the development of high-assurance end-to-end verifiable Internet voting systems for U.S. (and other) elections, as well as many design and assurance artifacts. I'll briefly discuss Free & Fair's rigorous digital engineering process, how cryptographic protocols and end-to-end verifiability can be used in the elections context, the requirements of U.S. elections that make them more difficult to administer than those in many other democracies, and the current state of remote voting technology in the U.S. and elsewhere.
Biography:
Dr. Daniel Zimmerman is a Principled Computer Scientist and co-founder at Free & Fair, where he works on developing high-assurance elections technology. He has extensive experience in formal methods, high-assurance software engineering, concurrent and distributed systems, and foundations of computer science.
In addition to co-founding Free & Fair, Dr. Zimmerman has served as a Principal Research Scientist at CertiK and a Principal Researcher at Galois. Before transitioning to industrial research he was a Visiting Associate Professor of Computer Science at Harvey Mudd College in Claremont, California and an Assistant Professor of Computer Science and Systems at the University of Washington Tacoma; he has also held both teaching and research positions at the California Institute of Technology, from which he obtained his Ph.D. in 2002.
In addition to co-founding Free & Fair, Dr. Zimmerman has served as a Principal Research Scientist at CertiK and a Principal Researcher at Galois. Before transitioning to industrial research he was a Visiting Associate Professor of Computer Science at Harvey Mudd College in Claremont, California and an Assistant Professor of Computer Science and Systems at the University of Washington Tacoma; he has also held both teaching and research positions at the California Institute of Technology, from which he obtained his Ph.D. in 2002.