EAGER: Collaborative: Faster and Stronger Onion Routing (FASOR)

EAGER：协作：更快更强的洋葱路由 (FASOR)

• 批准号: 1640732
• 负责人: Jon Solworth
• 金额: $ 16.58万
• 依托单位: University of Illinois at Chicago
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2016
• 资助国家: 美国
• 起止时间: 2016-09-01 至 2020-08-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=1640732&HistoricalAwards=false
• 关键词: EAGER; Collaborative; Faster; Stronger; Onion

Tor is used daily by millions of users, including journalists, militaries and law enforcement, activists, companies, whistleblowers, and ordinary people, to protect their web browsing against surveillance. However, the internal architecture of Tor is very complicated. This complexity creates performance problems, and it makes security analysis difficult. Furthermore, Tor's encryption will be broken by future quantum computers. Spies are recording larger and larger fractions of Internet traffic; once the spies build a large enough quantum computer, they will be able to retroactively see who was saying what to whom. This FASOR ("Faster and Stronger Onion Routing") project is interdisciplinary, combining theory and practice, with research covering protocol design, software engineering, post-quantum cryptography, and privacy analysis.FASOR brings together three complementary research directions. The first component is Tor itself, with a deployed user base in the millions, broad deployment experience, and a history of analyzing privacy protocols to discover vulnerabilities. The second component is "MinimaLT", a clean-slate low-latency encrypted network protocol that reduces complexity and increases security and privacy. The third component is post-quantum cryptography, which introduces cryptographic algorithms that resist quantum computers, but which also poses efficiency and network protocol integration issues. The FASOR project unifies these three components, increasing performance, providing high-security post-quantum cryptography, reducing duplication among different system layers, making it easier to introduce new functionality, and reducing surface area exposed to attackers. The FASOR project will also analyze these protocols for new types of vulnerabilities and threats, and expose and clarify new research problems for the world.

Tor每天被数百万用户使用，包括记者、军方和执法部门、活动家、公司、举报人和普通人，以保护他们的网络浏览免受监视。然而，Tor的内部架构非常复杂。这种复杂性造成了性能问题，并使安全分析变得困难。此外，Tor的加密将被未来的量子计算机破解。间谍正在记录越来越多的互联网流量;一旦间谍建立了足够大的量子计算机，他们将能够追溯到谁对谁说了什么。FASOR（Faster and Stronger Onion Routing）项目是一个跨学科的项目，将理论与实践相结合，研究内容涵盖协议设计、软件工程、后量子密码学和隐私分析。FASOR汇集了三个互补的研究方向。第一个组件是Tor本身，拥有数百万的部署用户群，广泛的部署经验，以及分析隐私协议以发现漏洞的历史。第二个组件是“MinimaLT”，这是一种全新的低延迟加密网络协议，可降低复杂性并提高安全性和隐私性。第三个组成部分是后量子密码学，它引入了抵抗量子计算机的密码算法，但也带来了效率和网络协议集成问题。FASOR项目统一了这三个组件，提高了性能，提供了高安全性的后量子密码学，减少了不同系统层之间的重复，更容易引入新功能，并减少了暴露给攻击者的表面积。FASOR项目还将分析这些协议的新类型的漏洞和威胁，并为世界揭示和澄清新的研究问题。