SaTC: CORE: Small: Collaborative: Building Sophisticated Services with Programmable Anonymity Networks

SaTC：核心：小型：协作：使用可编程匿名网络构建复杂的服务

• 批准号: 1816422
• 负责人: Christina Garman
• 金额: $ 25万
• 依托单位: Purdue University
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2018
• 资助国家: 美国
• 起止时间: 2018-09-15 至 2022-08-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=1816422&HistoricalAwards=false
• 关键词: SaTC; CORE; Small; Collaborative; Building

This project designs and implements programmable system elements to be run within the anonymity networks, such as Tor (The Onion Routing network). The central idea is that users can inject new code into the network that is then run within a protected execution environment. The motivation is to enable the creation of new and significantly enhanced anonymity services, such as content distribution networks, of use in today's and future anonymity networks. The project carries potential to demonstrate that an anonymity communication network, such as today's Tor network, could deliver a much larger range of services that could greatly enhance the potential range of offerings over secure, anonymous networks, motivating further developments.The proposed research has four main and original thrusts: (1) Programmable Tor middleboxes,(2) Censorship-resistant hidden services, (3) Hidden-services-based content distribution network (CDN), (4) Decentralized anonymous credentials. Much thought and development will also go into the applications that can be built upon the proposed functionalities, and as a result, if successful, the end possibilities are expected to be transformative. The training obtained by students during the investigation spanning across cryptography, secure computation, and anonymized communication networks are expected to result in a cohort with a distinctive, important and useful set of skills.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.

该项目设计并实现了在匿名网络（例如 Tor（洋葱路由网络））内运行的可编程系统元素。中心思想是用户可以将新代码注入网络，然后在受保护的执行环境中运行。其动机是能够创建新的且显着增强的匿名服务，例如在当今和未来的匿名网络中使用的内容分发网络。该项目有潜力证明，匿名通信网络（例如今天的 Tor 网络）可以提供更广泛的服务，从而极大地增强安全、匿名网络的潜在产品范围，从而推动进一步发展。拟议的研究有四个主要和原创的主旨：（1）可编程 Tor 中间盒，（2）抗审查隐藏服务，（3）基于隐藏服务的内容分发网络（CDN），（4） 去中心化的匿名凭证。大量的思考和开发也将投入到可以基于所提议的功能构建的应用程序中，因此，如果成功，最终的可能性预计将是变革性的。学生在调查期间获得的涵盖密码学、安全计算和匿名通信网络的培训预计将培养出一批具有独特、重要和有用技能的群体。该奖项反映了 NSF 的法定使命，并通过使用基金会的智力价值和更广泛的影响审查标准进行评估，被认为值得支持。

项目成果

Bento: Safely Bringing Network Function Virtualization to Tor

Bento：将网络功能虚拟化安全地引入 Tor

• DOI: 10.1145/3452296.3472919
• 发表时间: 2021
• 期刊: ACM SIGCOMM
• 作者: Reininger, Michael;Arora, Arushi;Herwig, Stephen;Francino, Nicholas;Hurst, Jayson;Garman, Christina;Levin, Dave
• 通讯作者: Levin, Dave

Achieving Keyless CDNs with Conclaves

• 发表时间: 2020
• 作者: Stephen Herwig;Christina Garman;Dave Levin

zk-creds: Flexible Anonymous Credentials from zkSNARKs and Existing Identity Infrastructure

zk-creds：来自 zkSNARK 和现有身份基础设施的灵活匿名凭证

• DOI: 10.1109/sp46215.2023.10179430
• 发表时间: 2023
• 期刊: IEEE Symposium on Security and Privacy (SP
• 作者: Rosenberg, Michael;White, Jacob;Garman, Christina;Miers, Ian
• 通讯作者: Miers, Ian

Bento: Bringing Network Function Virtualization to Tor

Bento：将网络功能虚拟化引入 Tor

• DOI: 10.1145/3372297.3420020
• 发表时间: 2020
• 期刊: Proceedings of the 2020 ACM SIGSAC Conference on Computer and Communications Security
• 作者: Reininger, Michael;Arora, Arushi;Herwig, Stephen;Francino, Nicholas;Garman, Christina;Levin, Dave
• 通讯作者: Levin, Dave