SaTC: CORE: Small: Design of Efficient, Horizontally-Scaling, and Strongly Anonymous Communication Networks

SaTC：核心：小型：高效、水平扩展和强匿名通信网络的设计

• 批准号: 1813087
• 负责人: Srini Devadas
• 金额: $ 50万
• 依托单位: Massachusetts Institute of Technology
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2018
• 资助国家: 美国
• 起止时间: 2018-09-01 至 2021-08-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=1813087&HistoricalAwards=false
• 关键词: SaTC; CORE; Small; Design; Efficient

Anonymous communication is an important aspect of freedom of speech. In many cases, anonymity remains the most important defense for persons expressing unpopular or prohibited opinions, from protest organizers who are fighting against repressive governments to whistleblowers who report sensitive news against powerful entities. Owing to its importance, there have been many systems that were designed to protect users' anonymity in the past several decades. Unfortunately, most existing anonymity systems fall into one of two categories: systems that defend against global adversaries but are hard to scale and inefficient, and systems that are easy to scale and efficient but do not defend against powerful adversaries. Thus, anonymity network administrators are forced to either support only a limited number of users or suffer from attacks against their system. This project aims to design, implement, and deploy a system that marries the best aspects of the two categories so as to produce an efficient anonymous communication network that can scale easily while providing provable guarantees against a global adversary. Such a system can enhance users' freedom of speech by guaranteeing strong anonymity for a large number of users, and provide more privacy enhancing choices for Internet users today.The technical goal of this project is to create a system that provides provable anonymity against an adversary that controls (1) the network connection between all participants (2) a large number of users, and (3) any fraction of the servers, while scaling to large numbers of users with more servers. To achieve this goal, this project will answer the following three questions: (1) How can the system organize and utilize the servers in a scalable manner to provide anonymity against an adversary that monitors all of Internet? (2) How does the system prevent malicious users from deviating from the protocol? (3) How does the system prevent malicious servers from de-anonymizing users? The answers to these questions will lead to the design of a scalable strong anonymity system. A prototype of this design will be implemented, evaluated, and deployed across a volunteer network of many servers in an effort to reach a broad audience of users. In addition to graduate student theses, this project will provide research projects for high school students who are part of the MIT PRIMES outreach program, as well as MIT undergraduates through the MIT Undergraduate Research Opportunities Program.This award reflects NSF's statutory mission and has been deemed worthy of support through evaluation using the Foundation's intellectual merit and broader impacts review criteria.

匿名交流是言论自由的一个重要方面。在许多情况下，对于那些表达不受欢迎或被禁止观点的人来说，匿名仍然是最重要的保护手段，从反对压制性政府的抗议组织者，到报道针对强大实体的敏感新闻的举报人。由于它的重要性，在过去的几十年里，已经有许多系统被设计用来保护用户的匿名性。不幸的是，大多数现有的匿名系统都属于两类：一类是防御全球对手的系统，但难以扩展且效率低下；另一类是易于扩展且高效的系统，但无法防御强大的对手。因此，匿名网络管理员被迫要么只支持有限数量的用户，要么遭受针对其系统的攻击。该项目旨在设计、实现和部署一个结合了这两类最佳方面的系统，从而产生一个高效的匿名通信网络，可以轻松扩展，同时提供针对全球对手的可证明保证。这样的系统可以通过保证大量用户的强匿名性来增强用户的言论自由，为当今的互联网用户提供更多增强隐私的选择。该项目的技术目标是创建一个系统，该系统提供可证明的匿名性，以防止对手控制(1)所有参与者之间的网络连接(2)大量用户，以及(3)服务器的任何部分，同时扩展到拥有更多服务器的大量用户。为了实现这一目标，该项目将回答以下三个问题：(1)系统如何以可扩展的方式组织和利用服务器，以提供匿名性来对抗监视所有互联网的对手？(2)系统如何防止恶意用户偏离协议？(3)系统如何防止恶意服务器对用户进行去匿名化处理？这些问题的答案将引导我们设计一个可扩展的强匿名系统。该设计的原型将在由许多服务器组成的志愿网络上实现、评估和部署，以努力接触到广泛的用户。除了研究生论文外，该项目还将为麻省理工学院PRIMES外展计划的高中生以及麻省理工学院本科生提供研究项目。该奖项反映了美国国家科学基金会的法定使命，并通过使用基金会的知识价值和更广泛的影响审查标准进行评估，被认为值得支持。

项目成果

XRD: Scalable Messaging System with Cryptographic Privacy

• 发表时间: 2019-01
• 作者: Albert Kwon;David Lu;S. Devadas