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

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

• 批准号: 1640548
• 负责人: Roger Dingledine
• 金额: $ 13.42万
• 依托单位: The Tor Project
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2016
• 资助国家: 美国
• 起止时间: 2016-09-01 至 2018-08-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=1640548&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（“更快，更强的洋葱路由”）项目是跨学科的，将理论和实践结合在一起，研究涵盖协议设计，软件工程，量词后密码学和隐私分析。第一个组件是TOR本身，在数百万，广泛的部署经验和分析隐私协议以发现漏洞的历史的历史中，有一个部署的用户基础。第二个组件是“ Minimalt”，这是一种干净的低延迟加密网络协议，可降低复杂性并提高安全性和隐私性。第三个组件是量词后加密术，它引入了抵抗量子计算机的加密算法，但也构成了效率和网络协议集成问题。 Fasor项目统一了这三个组件，增强性能，提供高安全性后加密术，减少不同系统层之间的重复，从而更容易引入新的功能，并减少暴露于攻击者的表面积。 Fasor项目还将分析这些协议的新型漏洞和威胁，并揭示和阐明世界的新研究问题。