TWC: Medium: Detection and Prevention of Data Timing Channels
TWC: Medium: Detection and Prevention of Data Timing Channels
批准号:
1514435
负责人:
Ranjit Jhala
金额:
$120.0万
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
2015
资助国家:
美国
项目状态:
已结题
起止时间:
2015-07-01 至 2021-06-30
中文摘要
在“大数据”和“云计算”时代,我们能够保护敏感数据并防止其泄露至关重要。本项目的目标是探索一种新的攻击,称为数据定时攻击,它绕过已知的防御,并允许对手从Web浏览器和隐私保护数据库中泄露私人信息。本项目不仅调查数据定时攻击的流行程度,而且还调查如何防止它们。通过开发理解和减轻数据定时攻击的技术,该项目将为广泛使用的软件(如Web浏览器,Web服务器和数据库)的安全性提供更好的保证,为最终用户提供更安全,更安全的系统。最后,该项目将阐明应该向下一代程序员传授哪些最佳编程实践,以便他们能够开发安全可靠的软件。
英文摘要
In the era of "big data" and "cloud computing", it is critically important that we are able to protect sensitive data, and prevent it from being leaked. The goal of this project is to explore a new kind of attack, called data timing attacks, which circumvents known defenses, and allows adversaries to exfiltrate private information from web browsers and privacy preserving databases.This project investigates not only how prevalent data timing attacks are, but also how to prevent them. By developing techniques for understanding and mitigating data timing attacks, this project will provide better guarantees about the security of widely used software like web browsers, web servers, and databases, yielding safer and more secure systems for end-users. Finally, the project will elucidate what best programming practices should be taught to the next generation of programmers, so they can develop safe and secure software.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
SHF: Small: Collaborative research: Language-Integrated Verification for Determininistic Parallelism
-
批准号:1911213
-
项目类别:Standard Grant
-
资助金额:$25.0万
-
财政年份:2019
-
负责人:Ranjit Jhala
-
依托单位:
FMitF: Track II: Refinement Types in the Haskell Ecosystem
-
批准号:1917854
-
项目类别:Standard Grant
-
资助金额:$10.0万
-
财政年份:2019
-
负责人:Ranjit Jhala
-
依托单位:
SHF: Medium: Collaborative Research: Program Analytics: Using Trace Data for Localization, Explanation and Synthesis
-
批准号:1763814
-
项目类别:Continuing Grant
-
资助金额:$90.0万
-
财政年份:2018
-
负责人:Ranjit Jhala
-
依托单位:
SHF: Small: Refinement Types For Verified Web Frameworks and Applications
-
批准号:1422471
-
项目类别:Standard Grant
-
资助金额:$50.0万
-
财政年份:2014
-
负责人:Ranjit Jhala
-
依托单位:
WORKSHOP: Future Directions For Formal Methods
-
批准号:1242686
-
项目类别:Standard Grant
-
资助金额:$8.47万
-
财政年份:2012
-
负责人:Ranjit Jhala
-
依托单位:
TWC: Small: New Foundations for Secure JavaScript
-
批准号:1223850
-
项目类别:Standard Grant
-
资助金额:$40.0万
-
财政年份:2012
-
负责人:Ranjit Jhala
-
依托单位:
SHF: Small: Next-Generation, Dependent Type-based Software Model Checking for C
-
批准号:1218344
-
项目类别:Standard Grant
-
资助金额:$40.0万
-
财政年份:2012
-
负责人:Ranjit Jhala
-
依托单位:
TC: Medium: Securing JavaScript Web Applications via Staged Policy Enforcement
-
批准号:0964702
-
项目类别:Continuing Grant
-
资助金额:$115.19万
-
财政年份:2010
-
负责人:Ranjit Jhala
-
依托单位:
CSR-PDOS: A Structured Development Environment for Building Robust, Higher Performance Distributed Services
-
批准号:0720802
-
项目类别:Standard Grant
-
资助金额:$40.0万
-
财政年份:2007
-
负责人:Ranjit Jhala
-
依托单位:
CAREER: Software Reliability via Assert-Generated Interfaces
-
批准号:0644361
-
项目类别:Continuing Grant
-
资助金额:$40.0万
-
财政年份:2007
-
负责人:Ranjit Jhala
-
依托单位:
Collaborative: Software Verification for Hardware Models
-
批准号:0702603
-
项目类别:Standard Grant
-
资助金额:$24.0万
-
财政年份:2007
-
负责人:Ranjit Jhala
-
依托单位:
海外基金