理论计算机科学名家讲座系列之02年"图灵奖"得主学术报告

Talk title: Research in Voting Systems

Speaker: Professor Ronald L. Rivest

Viterbi Professor of Computer Science

Massachusetts Institute of Technology

Cambridge, Mass., USA

Place: Room 2-201 of FIT Building（FIT楼多功能厅）

Time: 4:00PM, October 19th, 2005

Abstract:

While running an election sounds simple, it is in fact extremely challenging. Not only are there millions of voters to be authenticated and millions of votes to be carefully collected, counted, and stored, there are now millions of "voting machines" containing millions of lines of code to be evaluated for security vulnerabilities. Moreover, voting systems have a unique requirement: the voter must not be given a "receipt" that would allow them to prove how they voted to someone else---otherwise the voter could be coerced or bribed into voting a certain way. The lack of receipts makes the security of voting system much more challenging than, say, the security of banking systems (where receipts are the norm).

We discuss some of the recent trends and innovations in voting systems, as well as some of the new requirements being placed upon voting systems in the U.S., and describe some promising directions for resolving the conflicts inherent in voting system requirements, including some approaches based on cryptography.

Biographical information for Ronald L. Rivest:

Professor Rivest is the Viterbi Professor of Computer Science in MIT's Department of Electrical Engineering and Computer Science. He is a member of MIT's Computer Science and Artificial Intelligence Laboratory and Head of its Center for Information Security and Privacy. He received a B.A. in Mathematics from Yale University in 1969, and a Ph.D. in Computer Science from Stanford University in 1974.

Professor Rivest has research interests in cryptography, computer and network security, and algorithms. Professor Rivest is an inventor, with Adi Shamir and Len Adleman of the RSA public-key cryptosystem, and a co-founder of RSA Data Security. Together with Shamir and Adleman, he received the 2002 ACM Turing Award, perhaps the most prestigious award in Computer Science. He has extensive experience in cryptographic design and cryptanalysis, has served as a Director of the International Association for Cryptologic Research.

Professor Rivest is a member of the National Academy of Engineering, the National Academy of Sciences, and is a Fellow of the Association for Computing Machinery, the International Association for Cryptographic Research, and the American Academy of Arts and Sciences.

More recently, Professor Rivest has become interested in the security of voting systems. He is a member of the CalTech / MIT Voting Technology Project, and serves on the U.S. Election Assistance Commission's Technology Guidelines Development Committee.