SaTC: CORE: Small: Design of Efficient, Horizontally-Scaling, and Strongly Anonymous Communication Networks
SaTC: CORE: Small: Design of Efficient, Horizontally-Scaling, and Strongly Anonymous Communication Networks
批准号:
1813087
负责人:
Srini Devadas
金额:
$50.0万
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
2018
资助国家:
美国
项目状态:
已结题
起止时间:
2018-09-01 至 2021-08-31
中文摘要
点击翻译按钮获取中文摘要
英文摘要
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)
专著(0)
科研奖励(0)
会议论文
DOI:
--
发表时间:
2019-01
期刊:
影响因子:
--
作者:
[Albert Kwon;David Lu;S. Devadas]
通讯作者:
Albert Kwon;David Lu;S. Devadas
SaTC: CORE: Medium: Provably Secure, Usable, and Performant Enclaves in Multicore Processors
-
批准号:2115587
-
项目类别:Continuing Grant
-
资助金额:$120.0万
-
财政年份:2021
-
负责人:Srini Devadas
-
依托单位:
SaTC: CORE: Medium: Collaborative: Hardening Off-the-Shelf Software Against Side Channel Attacks
-
批准号:1955270
-
项目类别:Continuing Grant
-
资助金额:$30.0万
-
财政年份:2020
-
负责人:Srini Devadas
-
依托单位:
SPX: Collaborative Research: Distributed Database Management with Logical Leases and Hardware Transactional Memory
-
批准号:1822920
-
项目类别:Standard Grant
-
资助金额:$45.0万
-
财政年份:2018
-
负责人:Srini Devadas
-
依托单位:
STARSS: Small: Trapdoor Computational Fuzzy Extractors
-
批准号:1523572
-
项目类别:Standard Grant
-
资助金额:$26.67万
-
财政年份:2015
-
负责人:Srini Devadas
-
依托单位:
TWC: TTP Option: Frontier: Collaborative: MACS: A Modular Approach to Cloud Security
-
批准号:1413920
-
项目类别:Continuing Grant
-
资助金额:$320.0万
-
财政年份:2014
-
负责人:Srini Devadas
-
依托单位:
XPS: FULL: DSD: Collaborative Research: Moving the Abyss: Database Management on Future 1000-core Processors
-
批准号:1438967
-
项目类别:Standard Grant
-
资助金额:$35.04万
-
财政年份:2014
-
负责人:Srini Devadas
-
依托单位:
TWC: Small: Ascend: Architecture for Secure Computation on Encrypted Data
-
批准号:1317763
-
项目类别:Standard Grant
-
资助金额:$50.0万
-
财政年份:2013
-
负责人:Srini Devadas
-
依托单位:
EAGER: Collaborative: Holistic Security for Cloud Computing: Oblivious Computation
-
批准号:1347279
-
项目类别:Standard Grant
-
资助金额:$10.0万
-
财政年份:2013
-
负责人:Srini Devadas
-
依托单位:
SHF: Small: Directoryless Shared Memory Using Execution Migration
-
批准号:1116372
-
项目类别:Standard Grant
-
资助金额:$40.0万
-
财政年份:2011
-
负责人:Srini Devadas
-
依托单位:
SHF: Medium: Collaborative Research: Throughput-Driven Multi-Core Architecture and a Compilation System
-
批准号:0904598
-
项目类别:Standard Grant
-
资助金额:$45.0万
-
财政年份:2009
-
负责人:Srini Devadas
-
依托单位:
CT-ISG: Applications and Evolution of Trusted Platform Module Technology
-
批准号:0715680
-
项目类别:Continuing Grant
-
资助金额:$0.0万
-
财政年份:2007
-
负责人:Srini Devadas
-
依托单位:
Physical Random Functions and Secure Hardware Architectures
-
批准号:0309562
-
项目类别:Continuing Grant
-
资助金额:$35.0万
-
财政年份:2003
-
负责人:Srini Devadas
-
依托单位:
Security Protocols for Pervasive Computing Applications
-
批准号:0208631
-
项目类别:Continuing Grant
-
资助金额:$27.0万
-
财政年份:2002
-
负责人:Srini Devadas
-
依托单位:
NSF CNPq Collaborative Research on Design Environments for Application-Specific Programmable Processors
-
批准号:9901628
-
项目类别:Continuing Grant
-
资助金额:$18.0万
-
财政年份:1999
-
负责人:Srini Devadas
-
依托单位:
An Algorithmic Methodology for Validation of Mixed Hardware/Software Systems
-
批准号:9900757
-
项目类别:Continuing Grant
-
资助金额:$34.5万
-
财政年份:1999
-
负责人:Srini Devadas
-
依托单位:
A Computer-Aided Design Methodology for Application-Specific Embedded Processors
-
批准号:9612632
-
项目类别:Continuing Grant
-
资助金额:$33.0万
-
财政年份:1996
-
负责人:Srini Devadas
-
依托单位:
NSF Young Investigator Award: Formal Methods for Hardware and Software Verification
-
批准号:9258376
-
项目类别:Continuing Grant
-
资助金额:$31.25万
-
财政年份:1992
-
负责人:Srini Devadas
-
依托单位:
国内基金
海外基金
登录
查看更多内容
胆固醇羟化酶CH25H非酶活依赖性促进乙型肝炎病毒蛋白Core及Pre-core降解的分子机制研究
-
批准号:82371765
-
项目类别:面上项目
-
资助金额:50万元
-
批准年份:2023
-
负责人:谭广云
-
依托单位:
锕系元素5f-in-core的GTH赝势和基组的开发
-
批准号:22303037
-
项目类别:青年科学基金项目
-
资助金额:30万元
-
批准年份:2023
-
负责人:鲁俊波
-
依托单位:
基于合成致死策略搭建Core-matched前药共组装体克服肿瘤耐药的机制研究
-
批准号:--
-
项目类别:--
-
资助金额:52万元
-
批准年份:2022
-
负责人:孙丙军
-
依托单位:
鼠伤寒沙门氏菌LPS core经由CD209/SphK1促进树突状细胞迁移加重炎症性肠病的机制研究
-
批准号:--
-
项目类别:青年科学基金项目
-
资助金额:30万元
-
批准年份:2022
-
负责人:叶成林
-
依托单位:
基于外泌体精准调控的“核-壳”(core-shell)同步血管化骨组织工程策略的应用与机制探讨
-
批准号:--
-
项目类别:--
-
资助金额:55万元
-
批准年份:2020
-
负责人:张智勇
-
依托单位:
基于外泌体精准调控的“核-壳”(core-shell)同步血管化骨组织工程策略的应用与机制探讨
-
批准号:82072415
-
项目类别:面上项目
-
资助金额:55.0万元
-
批准年份:2020
-
负责人:张智勇
-
依托单位:
肌营养不良蛋白聚糖Core M3型甘露糖肽的精确制备及功能探索
-
批准号:92053110
-
项目类别:重大研究计划
-
资助金额:70.0万元
-
批准年份:2020
-
负责人:彭鹏
-
依托单位:
Core-1-O型聚糖黏蛋白缺陷诱导胃炎发生并介导慢性胃炎向胃癌转化的分子机制研究
-
批准号:81902805
-
项目类别:青年科学基金项目
-
资助金额:20.5万元
-
批准年份:2019
-
负责人:刘菲
-
依托单位:
原始地球增生晚期的Core-merging大碰撞事件:地核增生、核幔平衡与核幔边界结构的新认识
-
批准号:41973063
-
项目类别:面上项目
-
资助金额:65.0万元
-
批准年份:2019
-
负责人:周游
-
依托单位:
CORDEX-CORE区域气候模拟与预估研讨会
-
批准号:41981240365
-
项目类别:国际(地区)合作与交流项目
-
资助金额:1.5万元
-
批准年份:2019
-
负责人:陈威霖
-
依托单位: