TWC: Medium: Detection and Prevention of Data Timing Channels
TWC:中:数据时序通道的检测和预防
基本信息
- 批准号:1514435
- 负责人:
- 金额:$ 120万
- 依托单位:
- 依托单位国家:美国
- 项目类别:Standard Grant
- 财政年份:2015
- 资助国家:美国
- 起止时间:2015-07-01 至 2021-06-30
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
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.
在“大数据”和“云计算”时代,如何保护敏感数据,防止其泄露是至关重要的。这个项目的目标是探索一种新的攻击,称为数据定时攻击,它绕过已知的防御,并允许对手从web浏览器和隐私保护数据库中窃取私人信息。该项目不仅研究了数据定时攻击的流行程度,还研究了如何防止它们。通过开发理解和减轻数据定时攻击的技术,该项目将为广泛使用的软件(如web浏览器、web服务器和数据库)的安全性提供更好的保证,为最终用户提供更安全、更可靠的系统。最后,该项目将阐明应该向下一代程序员传授哪些最佳编程实践,以便他们能够开发安全可靠的软件。
项目成果
期刊论文数量(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 }}
Ranjit Jhala其他文献
2018 IEEE 24th International Conference on Parallel and Distributed Systems (ICPADS)
2018年IEEE第24届并行与分布式系统国际会议(ICPADS)
- DOI:
10.1109/icpads44843.2018 - 发表时间:
2018 - 期刊:
- 影响因子:2
- 作者:
Marc Andrysco;Andres Nötzli;Fraser Brown;Ranjit Jhala;D. Stefan - 通讯作者:
D. Stefan
Invited talk: the blast query language for software verification
特邀演讲:软件验证的爆炸查询语言
- DOI:
10.1145/1013963.1013964 - 发表时间:
2004 - 期刊:
- 影响因子:0
- 作者:
Dirk Beyer;A. Chlipala;T. Henzinger;Ranjit Jhala;R. Majumdar - 通讯作者:
R. Majumdar
Mechanizing Refinement Types
机械化细化类型
- DOI:
- 发表时间:
2022 - 期刊:
- 影响因子:0
- 作者:
M. Borkowski;Niki Vazou;Ranjit Jhala - 通讯作者:
Ranjit Jhala
Refinement type inference via abstract interpretation
通过抽象解释进行细化类型推断
- DOI:
- 发表时间:
2010 - 期刊:
- 影响因子:0
- 作者:
Ranjit Jhala;R. Majumdar;A. Rybalchenko - 通讯作者:
A. Rybalchenko
Low-level liquid types
低液位液体类型
- DOI:
- 发表时间:
2010 - 期刊:
- 影响因子:0
- 作者:
P. M. Rondon;Ming Kawaguchi;Ranjit Jhala - 通讯作者:
Ranjit Jhala
Ranjit Jhala的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Ranjit Jhala', 18)}}的其他基金
SHF: Small: Collaborative research: Language-Integrated Verification for Determininistic Parallelism
SHF:小型:协作研究:确定性并行性的语言集成验证
- 批准号:
1911213 - 财政年份:2019
- 资助金额:
$ 120万 - 项目类别:
Standard Grant
FMitF: Track II: Refinement Types in the Haskell Ecosystem
FMITF:轨道 II:Haskell 生态系统中的细化类型
- 批准号:
1917854 - 财政年份:2019
- 资助金额:
$ 120万 - 项目类别:
Standard Grant
SHF: Medium: Collaborative Research: Program Analytics: Using Trace Data for Localization, Explanation and Synthesis
SHF:媒介:协作研究:程序分析:使用跟踪数据进行本地化、解释和综合
- 批准号:
1763814 - 财政年份:2018
- 资助金额:
$ 120万 - 项目类别:
Continuing Grant
SHF: Small: Refinement Types For Verified Web Frameworks and Applications
SHF:小型:经过验证的 Web 框架和应用程序的细化类型
- 批准号:
1422471 - 财政年份:2014
- 资助金额:
$ 120万 - 项目类别:
Standard Grant
WORKSHOP: Future Directions For Formal Methods
研讨会:形式化方法的未来方向
- 批准号:
1242686 - 财政年份:2012
- 资助金额:
$ 120万 - 项目类别:
Standard Grant
TWC: Small: New Foundations for Secure JavaScript
TWC:小型:安全 JavaScript 的新基础
- 批准号:
1223850 - 财政年份:2012
- 资助金额:
$ 120万 - 项目类别:
Standard Grant
SHF: Small: Next-Generation, Dependent Type-based Software Model Checking for C
SHF:小型:下一代基于依赖类型的 C 软件模型检查
- 批准号:
1218344 - 财政年份:2012
- 资助金额:
$ 120万 - 项目类别:
Standard Grant
TC: Medium: Securing JavaScript Web Applications via Staged Policy Enforcement
TC:中:通过分阶段策略执行保护 JavaScript Web 应用程序
- 批准号:
0964702 - 财政年份:2010
- 资助金额:
$ 120万 - 项目类别:
Continuing Grant
CSR-PDOS: A Structured Development Environment for Building Robust, Higher Performance Distributed Services
CSR-PDOS:用于构建稳健、高性能分布式服务的结构化开发环境
- 批准号:
0720802 - 财政年份:2007
- 资助金额:
$ 120万 - 项目类别:
Standard Grant
CAREER: Software Reliability via Assert-Generated Interfaces
职业:通过断言生成的接口实现软件可靠性
- 批准号:
0644361 - 财政年份:2007
- 资助金额:
$ 120万 - 项目类别:
Continuing Grant
相似海外基金
Collaborative Research: CPS: Medium: Sensor Attack Detection and Recovery in Cyber-Physical Systems
合作研究:CPS:中:网络物理系统中的传感器攻击检测和恢复
- 批准号:
2333980 - 财政年份:2023
- 资助金额:
$ 120万 - 项目类别:
Standard Grant
CPS: Medium: Reconfigurable Aerial Power-Efficient Interconnected Imaging and Detection (RAPID) Cyber-Physical System
CPS:中:可重构空中高效互连成像和检测(RAPID)网络物理系统
- 批准号:
2233783 - 财政年份:2023
- 资助金额:
$ 120万 - 项目类别:
Standard Grant
Collaborative Research: III: Medium: Towards Effective Detection and Mitigation for Shortcut Learning: A Data Modeling Framework
协作研究:III:媒介:针对捷径学习的有效检测和缓解:数据建模框架
- 批准号:
2310262 - 财政年份:2023
- 资助金额:
$ 120万 - 项目类别:
Standard Grant
Collaborative Research: III: Medium: Towards Effective Detection and Mitigation for Shortcut Learning: A Data Modeling Framework
协作研究:III:媒介:针对捷径学习的有效检测和缓解:数据建模框架
- 批准号:
2310261 - 财政年份:2023
- 资助金额:
$ 120万 - 项目类别:
Standard Grant
Collaborative Research: III: Medium: Towards Effective Detection and Mitigation for Shortcut Learning: A Data Modeling Framework
协作研究:III:媒介:针对捷径学习的有效检测和缓解:数据建模框架
- 批准号:
2310260 - 财政年份:2023
- 资助金额:
$ 120万 - 项目类别:
Standard Grant
Detection of microRNAs in the conditioned culture medium as a non-invasive "miR-print" of human preimplantation embryo competence
检测条件培养基中的 microRNA,作为人类植入前胚胎能力的非侵入性“miR-print”
- 批准号:
488408 - 财政年份:2023
- 资助金额:
$ 120万 - 项目类别:
Operating Grants
Collaborative Research: SaTC: CORE: Medium: Systematic Detection Of and Defenses Against Next-Generation Microarchitectural Attacks
协作研究:SaTC:核心:中:下一代微架构攻击的系统检测和防御
- 批准号:
2153388 - 财政年份:2022
- 资助金额:
$ 120万 - 项目类别:
Continuing Grant
Collaborative Research: SaTC: CORE: Medium: Systematic Detection Of and Defenses Against Next-Generation Microarchitectural Attacks
协作研究:SaTC:核心:中:下一代微架构攻击的系统检测和防御
- 批准号:
2153936 - 财政年份:2022
- 资助金额:
$ 120万 - 项目类别:
Continuing Grant
Collaborative Research: SaTC: CORE: Medium: Systematic Detection Of and Defenses Against Next-Generation Microarchitectural Attacks
协作研究:SaTC:核心:中:下一代微架构攻击的系统检测和防御
- 批准号:
2154183 - 财政年份:2022
- 资助金额:
$ 120万 - 项目类别:
Continuing Grant
Collaborative Research: CPS: Medium: Sensor Attack Detection and Recovery in Cyber-Physical Systems
合作研究:CPS:中:网络物理系统中的传感器攻击检测和恢复
- 批准号:
2143274 - 财政年份:2022
- 资助金额:
$ 120万 - 项目类别:
Standard Grant