InTrans: Modular Security on an Open Cloud
InTrans: Modular Security on an Open Cloud
批准号:
1931714
负责人:
Mayank Varia
金额:
$50.0万
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
2019
资助国家:
美国
项目状态:
已结题
起止时间:
2019-10-01 至 2022-09-30
中文摘要
点击翻译按钮获取中文摘要
英文摘要
This project explores the intriguing possibilities that result from the combination of two tools: cryptographic software that distributes any computing task over several machines with strong security guarantees as long as the machines are isolated, and a multi-provider cloud datacenter that offers to any tenant the ability to rent multiple isolated machines that are administered by different organizations. The project's novelties are to optimize cryptographically secure multi-party computation (MPC) for use in a multi-provider datacenter, leveraging the security properties already provided by such datacenters. The project's impacts are open-source software packages that provide a compelling application for cloud datacenters like the Mass Open Cloud (MOC) that adopt a multi provider approach. The research in this InTrans project is of strong interest to two industrial partners, Honda Research Institutes and Red Hat, and it builds on top of the work performed in the Modular Approach to Cloud Security Frontier project.In more detail, this cross-disciplinary project encompasses three sets of tasks that span cryptography and distributed systems. First, the investigators explore opportunities to improve and optimize the algorithmic design of MPC toward specific scenarios for which we have observed large interest by our industry partners and others. Second, the investigators adapt and optimize system software and existing MOC tools to improve MPC's networking and distributed computing steps. Third, the investigators perform a universal composability (UC) security analysis of the MOC's security-relevant systems in order to determine the extent to which can contribute toward MPC. These three tasks are co-dependent: for instance, a UC model of the MOC can provide insights into the design of new MPC algorithms that combine software with partially trusted hardware and to validate whether the cloud meets the pre-conditions required by MPC (such as isolation between nodes).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.
期刊论文(21)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
DOI:
10.1007/978-3-030-64381-2_1
发表时间:
2020
期刊:
影响因子:
--
作者:
[Christian Badertscher;R. Canetti;Julia Hesse;Björn Tackmann;Vassilis Zikas]
通讯作者:
Christian Badertscher;R. Canetti;Julia Hesse;Björn Tackmann;Vassilis Zikas
DOI:
10.1007/978-3-030-75248-4_18
发表时间:
2020
期刊:
IACR Cryptol. ePrint Arch.
影响因子:
--
作者:
[Ariel Hamlin;Mayank Varia]
通讯作者:
Ariel Hamlin;Mayank Varia
Hecate: Abuse Reporting in Secure Messengers with Sealed Sender
Hecate:使用密封发件人的安全信使中的滥用报告
DOI:
--
发表时间:
2022
期刊:
31st USENIX Security Symposium
影响因子:
--
作者:
[Issa, Rawane, Alhaddad, Nicolas, Varia, Mayank]
通讯作者:
Varia, Mayank
BooLigero: Improved Sublinear Zero Knowledge Proofs for Boolean Circuits
BooLigero:改进的布尔电路次线性零知识证明
DOI:
--
发表时间:
2021
期刊:
Financial Cryptography and Data Security
影响因子:
--
作者:
[Gvili, Yaron, Scheffler, Sarah, Varia, Mayank]
通讯作者:
Varia, Mayank
DOI:
--
发表时间:
2021
期刊:
Usenix Security 2021
影响因子:
--
作者:
[Scheffler, Sarah, Varia, Mayank]
通讯作者:
Varia, Mayank
共 20 条
NSF Student Travel Grant for 2020 IEEE Computer Security Foundations Symposium (IEEE CSF), Boston, MA
-
批准号:1955579
-
项目类别:Standard Grant
-
资助金额:$1.2万
-
财政年份:2020
-
负责人:Mayank Varia
-
依托单位:
EAGER: SaTC: Early-Stage Interdisciplinary Collaboration: Multi-regulation computation
-
批准号:1915763
-
项目类别:Standard Grant
-
资助金额:$30.0万
-
财政年份:2019
-
负责人:Mayank Varia
-
依托单位:
CICI: RSARC: Trustworthy Computing over Protected Datasets
-
批准号:1739000
-
项目类别:Standard Grant
-
资助金额:$99.5万
-
财政年份:2017
-
负责人:Mayank Varia
-
依托单位:
国内基金
海外基金
基于Modular积图和最大团的草图形状匹配技术研究
-
批准号:61305091
-
项目类别:青年科学基金项目
-
资助金额:25.0万元
-
批准年份:2013
-
负责人:梁爽
-
依托单位: