权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

SaTC: CORE: Large: Viaduct: A Framework for Automatically Synthesizing Cryptographic Protocols

SaTC：核心：大型：高架桥：自动合成加密协议的框架

基本信息

批准号：
1704788
负责人：
Andrew Myers
金额：
$ 250万
依托单位：
Cornell University
依托单位国家：
美国
项目类别：
Continuing Grant
财政年份：
2017
资助国家：
美国
起止时间：
2017-06-01 至 2023-05-31
项目状态：
已结题

来源：
https://www.nsf.gov/awardsearch/showAward?AWD_ID=1704788&HistoricalAwards=false
关键词：
SaTC CORE Large Viaduct Framework

项目摘要

Advanced cryptographic technology can enable new kinds of computing systems: secure computing and storage in the cloud, internet voting systems, secure cryptographic currencies, and more. Unfortunately, advanced cryptography has not been widely adopted, because it tends to be too complex for most software developers to use correctly. Even experts make security-critical mistakes with modern cryptography. The expected outcome of this project is a simpler and less error-prone way to build computer systems that use advanced cryptography. This project explores a new way to put the full power of cryptography in the hands of programmers. Programmers will not design cryptography directly. Instead, they will develop software using a high-level programming language, and the Viaduct system will automatically introduce sophisticated cryptographic mechanisms as needed to make the software secure. Viaduct automatically compiles high-level protocols to primitive cryptographic building blocks, offering formal security guarantees in the form of machine-checkable security proofs. The project demonstrates end-to-end synthesis based on universal composability as a practical way to build secure systems. Viaduct will make security engineering stronger, easier, and cheaper. The project will open-source Viaduct and promote it through demos, workshops, and tutorials.

先进的加密技术可以实现新型计算系统：云中的安全计算和存储、互联网投票系统、安全加密货币等。不幸的是，高级加密技术没有被广泛采用，因为对于大多数软件开发人员来说，它往往过于复杂，无法正确使用。即使是专家也会在现代密码学中犯下安全关键的错误。这个项目的预期结果是以一种更简单、更不容易出错的方式来构建使用高级加密技术的计算机系统。这个项目探索了一种将密码学的全部力量交到程序员手中的新方法。程序员不会直接设计密码学。取而代之的是，他们将使用高级编程语言开发软件，高架桥系统将根据需要自动引入复杂的加密机制，以确保软件安全。Viaduct自动将高级协议编译成原始的密码构建块，以机器可检查的安全证明的形式提供正式的安全保证。该项目演示了基于通用可组合性的端到端合成，作为构建安全系统的一种实用方法。高架桥将使安全工程变得更强大、更容易、更便宜。该项目将开源高架桥，并通过演示、研讨会和教程进行推广。

项目成果

期刊论文数量（38）

专著数量（0）

科研奖励数量（0）

会议论文数量（0）

专利数量（0）

Concurrently Composable Non-interactive Secure Computation

可并发组合的非交互式安全计算

DOI：
发表时间：
2022
期刊：
Asiacrypt 2022
影响因子：
0
作者：
Andrew Morgan, Rafael Pass
通讯作者：
Andrew Morgan, Rafael Pass

Minimizing Trust in Hardware Wallets with Two Factor Signatures

通过双因素签名最大限度地减少对硬件钱包的信任

DOI：
发表时间：
2019
期刊：
Financial Crypto
影响因子：
0
作者：
Marcedone, Antonio;Pass, Rafael;shelat, abhi
通讯作者：
shelat, abhi

On the Possibility of Basing Cryptography on EXP != BPP

关于基于 EXP != BPP 的密码学的可能性

DOI：
10.1007/978-3-030-84242-0_2
发表时间：
2021
期刊：
Advances in Cryptology (CRYPTO'21
影响因子：
0
作者：
Yanyi Liu;Rafael Pass
通讯作者：
Rafael Pass

A Theory of Composition for Differential Obliviousness

DOI：
10.1007/978-3-031-30620-4_1
发表时间：
2022
期刊：
影响因子：
0
作者：
Mingxun Zhou;E. Shi;T-H. Hubert Chan;S. Maimon
通讯作者：
Mingxun Zhou;E. Shi;T-H. Hubert Chan;S. Maimon

On the Complexity of Compressing Obfuscation

论压缩混淆的复杂性

DOI：
发表时间：
2022
期刊：
Journal of cryptology
影响因子：
3
作者：
Gilad Asharov, Ilan Komargodski
通讯作者：
Gilad Asharov, Ilan Komargodski

DOI：
{{ item.doi }}
发表时间：
{{ item.publish_year }}
期刊：
{{ item.journal_name }}
影响因子：
{{ item.factor }}
作者：
{{ item.authors }}
通讯作者：
{{ item.author }}

数据更新时间：{{ journalArticles.updateTime }}

作者：
{{ item.author }}

数据更新时间：{{ monograph.updateTime }}

作者：
{{ item.author }}

数据更新时间：{{ sciAawards.updateTime }}

作者：
{{ item.author }}

数据更新时间：{{ conferencePapers.updateTime }}

作者：
{{ item.author }}

数据更新时间：{{ patent.updateTime }}

Andrew Myers其他文献

An investigation into the temporal scaling of community participation measurement.

对社区参与测量的时间尺度的调查。

DOI：
发表时间：
2015
期刊：
Rehabilitation Psychology
影响因子：
2.7
作者：
Nicholas A. Livingston;Tannis Hargrove;Lillie Greiman;Andrew Myers;Catherine Ipsen;C. Ravesloot
通讯作者：
C. Ravesloot

Evaluation of severe acute respiratory syndrome coronavirus 2 monoclonal antibodies in high‐risk solid organ transplant recipients across three major coronavirus disease 2019 variant waves

严重急性呼吸综合征冠状病毒2单克隆抗体在2019年冠状病毒病三个主要变种波中对高危实体器官移植受者的评估

DOI：
发表时间：
2023
期刊：
Transplant Infectious Disease
影响因子：
2.6
作者：
K. Zeitler;N. Piccicacco;Melissa O’Neal;J. Montero;Andrew Myers;Daniel Strebig;Sarah Nestler;Lyndsey Bowman Anger;Kamil H A Kim
通讯作者：
Kamil H A Kim

Three-Dimensional Structure of Neocarzinostatin

新制癌菌素的三维结构

DOI：
发表时间：
1997
期刊：
影响因子：
0
作者：
Kyoung;Andrew Myers;D. Rees
通讯作者：
D. Rees

Are national stereotypes discriminating?

DOI：
10.1016/0263-2373(95)00009-a
发表时间：
1995-06-01
期刊：
Research article
影响因子：
作者：
Paul Burns;Andrew Myers;Andrew Kakabadse
通讯作者：
Andrew Kakabadse

Frontier: Exploring Exascale The System Architecture of the First Exascale Supercomputer

前沿：探索百亿亿次计算第一台百亿亿次超级计算机的系统架构

DOI：
10.1145/3581784.3607089
发表时间：
2023
期刊：
SC23: International Conference for High Performance Computing, Networking, Storage and Analysis
影响因子：
0
作者：
S. Atchley;Chris Zimmer;Joh. Lange;D. Bernholdt;V. G. M. Vergara;Tom Beck;Michael J. Brim;Reuben Budiardja;Sunita Chandrasekaran;M. Eisenbach;Thomas Evans;M. Ezell;Nicholas Frontiere;Antigoni Georgiadou;Joseph Glenski;Philipp Grete;Steven Hamilton;John K. Holmen;Axel Huebl;Daniel Jacobson;Wayne Joubert;Kim Mcmahon;Elia Merzari;S. Moore;Andrew Myers;Stephen Nichols;Sarp Oral;T. Papatheodore;D. Perez;David M. Rogers;E. Schneider;J. Vay;P. Yeung
通讯作者：
P. Yeung