SGER: Cryptographic Techniques for Trustworthy Computation in Faulty and Non-Confining Execution Environments
SGER:在错误和非限制执行环境中进行可信计算的密码技术
基本信息
- 批准号:0808907
- 负责人:
- 金额:--
- 依托单位:
- 依托单位国家:美国
- 项目类别:Standard Grant
- 财政年份:2008
- 资助国家:美国
- 起止时间:2008-09-15 至 2010-08-31
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
Proposal Number: 0808907PI: Ronald L RivestInstitution: Massachusetts Institute of TechnologyTitle: SGER: Cryptographic Techniques for Trustworthy Computation in Faulty and Non-Confining Execution EnvironmentsThe objective of this exploratory research is to find methods for conducting secure computation within insecure, imperfect, and possibly malicious environments. To realize this goal, two complementary approaches are being pursued. The first one, inspired by the technique of ?proof carrying code,? is a ?Proof-Carrying Data? framework that can address many of the difficulties with current approaches. In this framework, the system designer prescribe the desired properties of the computation?s output, usually expressing a security or privacy property. Proofs of these properties are attached to the data flowing through the system, and are mutually verified by the system?s components. The second research focus is the investigation of means by which concrete realizations of computation can guarantee security properties despite inevitable risks. The novelty in the method is that the assumptions on which the risks are based are enumeratable, so they can be checked to be sure they that are, ideally, minimal, realistic, and verifiable.
提案编号:0808907 PI: 罗纳德L Rivest机构: 马萨诸塞州理工学院 SGER:可信计算的密码技术 和无约束执行环境本探索性研究的目的是找到在不安全的、不完美的和可能恶意的环境中进行安全计算的方法。为实现这一目标,正在采取两种相辅相成的办法。 第一个,灵感来自于?证明携带代码,?是a?携带证明的数据?这是一个可以解决当前方法中许多困难的框架。 在这个框架中,系统设计者规定所需的计算属性?的输出,通常表示安全或隐私属性。 这些属性的证明附在流经系统的数据上,并由系统相互验证。的组件。 第二个研究重点是调查的手段,具体实现的计算可以保证安全性能,尽管不可避免的风险。 该方法的新奇在于,风险所基于的假设是可枚举的,因此可以对其进行检查,以确保它们是理想的、最小的、现实的和可验证的。
项目成果
期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
数据更新时间:{{ journalArticles.updateTime }}
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
数据更新时间:{{ journalArticles.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ monograph.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ sciAawards.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ conferencePapers.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ patent.updateTime }}
Ronald Rivest其他文献
SonicPACT: An Ultrasonic Ranging Method for the Private Automated Contact Tracing (PACT) Protocol
SonicPACT:一种用于私人自动接触者追踪 (PACT) 协议的超声波测距方法
- DOI:
- 发表时间:
2020 - 期刊:
- 影响因子:0
- 作者:
J. Meklenburg;Michael A. Specter;Michael Wentz;H. Balakrishnan;A. Chandrakasan;J. Cohn;G. Hatke;L. Ivers;Ronald Rivest;G. Sussman;Danny Weitzner - 通讯作者:
Danny Weitzner
Ronald Rivest的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Ronald Rivest', 18)}}的其他基金
Efficient Algorithms for Machine Learning
高效的机器学习算法
- 批准号:
9310888 - 财政年份:1993
- 资助金额:
-- - 项目类别:
Continuing grant
Theoretical Aspects of Machine Learning and Artificial Intelligence
机器学习和人工智能的理论方面
- 批准号:
8914428 - 财政年份:1990
- 资助金额:
-- - 项目类别:
Continuing grant
Concrete Computational Complexity (Computer Research)
具体计算复杂性(计算机研究)
- 批准号:
8006938 - 财政年份:1981
- 资助金额:
-- - 项目类别:
Continuing grant
相似海外基金
Practicable Cryptographic Techniques for Secure and Data-efficient Customer Loyalty Systems (T02*)
用于安全且数据高效的客户忠诚度系统的实用加密技术 (T02*)
- 批准号:
426911793 - 财政年份:2019
- 资助金额:
-- - 项目类别:
Collaborative Research Centres (Transfer Project)
Development of Side-Channel Attack Sensing Techniques and Prototyping toward Electromagnetic Security of Cryptographic VLSI Circuits
加密 VLSI 电路电磁安全的侧通道攻击传感技术和原型开发
- 批准号:
26240005 - 财政年份:2014
- 资助金额:
-- - 项目类别:
Grant-in-Aid for Scientific Research (A)
Cryptographic Techniques for Both Protecting and Utilizing Confidential Data
保护和利用机密数据的密码技术
- 批准号:
26330151 - 财政年份:2014
- 资助金额:
-- - 项目类别:
Grant-in-Aid for Scientific Research (C)
Model-checking quantum Markov chains: towards verification techniques for quantum cryptographic systems
模型检查量子马尔可夫链:面向量子密码系统的验证技术
- 批准号:
DP130102764 - 财政年份:2013
- 资助金额:
-- - 项目类别:
Discovery Projects
Study on the cryptographic Techniques with Conditions
有条件密码技术研究
- 批准号:
22560360 - 财政年份:2010
- 资助金额:
-- - 项目类别:
Grant-in-Aid for Scientific Research (C)
Collaborative Research: CT-T: Cryptographic Techniques for Searching and Processing Encrypted Data
合作研究:CT-T:用于搜索和处理加密数据的密码技术
- 批准号:
0808617 - 财政年份:2007
- 资助金额:
-- - 项目类别:
Continuing Grant
Collaborative Research: CT-T: Cryptographic Techniques for Searching and Processing Encrypted Data
合作研究:CT-T:用于搜索和处理加密数据的密码技术
- 批准号:
0716389 - 财政年份:2007
- 资助金额:
-- - 项目类别:
Continuing Grant
Collaborative Research: CT-T: Cryptographic Techniques for Searching and Processing Encrypted Data
合作研究:CT-T:用于搜索和处理加密数据的密码技术
- 批准号:
0715739 - 财政年份:2007
- 资助金额:
-- - 项目类别:
Continuing Grant
Collaborative Research: CT-T: Cryptographic Techniques for Searching and Processing Encrypted Data
合作研究:CT-T:用于搜索和处理加密数据的密码技术
- 批准号:
0716230 - 财政年份:2007
- 资助金额:
-- - 项目类别:
Continuing Grant
Collaborative Research: CT-T: Cryptographic Techniques for Searching and Processing Encrypted Data
合作研究:CT-T:用于搜索和处理加密数据的密码技术
- 批准号:
0716199 - 财政年份:2007
- 资助金额:
-- - 项目类别:
Continuing Grant