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

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

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.