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）系统如何防止恶意服务器对用户进行去匿名化处理？这些问题的答案将导致设计一个可扩展的强匿名系统。该设计的原型将在由许多服务器组成的志愿者网络中实施、评估和部署，以覆盖广泛的用户群体。除了研究生论文外，该项目还将为参与 MIT PRIMES 外展计划的高中生以及通过 MIT 本科生研究机会计划为 MIT 本科生提供研究项目。该奖项反映了 NSF 的法定使命，并被视为值得通过使用基金会的智力优点和更广泛的影响审查标准进行评估来支持。

项目成果

XRD: Scalable Messaging System with Cryptographic Privacy

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