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.
在“大数据”和“云计算”时代,保护敏感数据并防止其泄露至关重要。该项目的目标是探索一种称为数据定时攻击的新型攻击,它可以绕过已知的防御措施,并允许对手从网络浏览器和隐私保护数据库中窃取私人信息。该项目不仅调查数据定时攻击的流行程度,以及如何预防它们。通过开发理解和减轻数据定时攻击的技术,该项目将为网络浏览器、网络服务器和数据库等广泛使用的软件的安全性提供更好的保证,为最终用户提供更安全的系统。最后,该项目将阐明应该向下一代程序员传授哪些最佳编程实践,以便他们能够开发安全可靠的软件。
项目成果
期刊论文数量(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其他文献
Solver-Aided Constant-Time Hardware Verification
求解器辅助的恒定时间硬件验证
- DOI:
10.1145/3460120.3484810 - 发表时间:
2021-11-12 - 期刊:
- 影响因子:0
- 作者:
K. V. Gleissenthall;Rami Gökhan Kici;D. Stefan;Ranjit Jhala - 通讯作者:
Ranjit Jhala
Solver-Aided Constant-Time Circuit Verification
求解器辅助的恒定时间电路验证
- DOI:
- 发表时间:
2021-04-01 - 期刊:
- 影响因子:0
- 作者:
Rami Gökhan Kici;K. V. Gleissenthall;D. Stefan;Ranjit Jhala - 通讯作者:
Ranjit Jhala
Abstract Refinement Types
抽象细化类型
- DOI:
- 发表时间:
2013 - 期刊:
- 影响因子:0
- 作者:
Niki Vazou;P. M. Rondon;Ranjit Jhala - 通讯作者:
Ranjit Jhala
Automatically Eliminating Speculative Leaks With Blade
使用 Blade 自动消除推测性泄漏
- DOI:
10.1109/hpca57654.2024.00013 - 发表时间:
2020-05-01 - 期刊:
- 影响因子:0
- 作者:
Marco Vassena;K. V. Gleissenthall;Rami Gökhan Kici;D. Stefan;Ranjit Jhala - 通讯作者:
Ranjit Jhala
Invited talk: the blast query language for software verification
特邀演讲:软件验证的爆炸查询语言
- DOI:
10.1145/1013963.1013964 - 发表时间:
2004-08-24 - 期刊:
- 影响因子:0
- 作者:
Dirk Beyer;A. Chlipala;T. Henzinger;Ranjit Jhala;R. Majumdar - 通讯作者:
R. Majumdar
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
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
WORKSHOP: Future Directions For Formal Methods
研讨会:形式化方法的未来方向
- 批准号:
1242686 - 财政年份:2012
- 资助金额:
$ 120万 - 项目类别:
Standard Grant
TC: Medium: Securing JavaScript Web Applications via Staged Policy Enforcement
TC:中:通过分阶段策略执行保护 JavaScript Web 应用程序
- 批准号:
0964702 - 财政年份:2010
- 资助金额:
$ 120万 - 项目类别:
Continuing Grant
CAREER: Software Reliability via Assert-Generated Interfaces
职业:通过断言生成的接口实现软件可靠性
- 批准号:
0644361 - 财政年份:2007
- 资助金额:
$ 120万 - 项目类别:
Continuing Grant
CSR-PDOS: A Structured Development Environment for Building Robust, Higher Performance Distributed Services
CSR-PDOS:用于构建稳健、高性能分布式服务的结构化开发环境
- 批准号:
0720802 - 财政年份:2007
- 资助金额:
$ 120万 - 项目类别:
Standard Grant
相似国自然基金
基于挥发性分布和氧化校正的大气半/中等挥发性有机物来源解析方法构建
- 批准号:42377095
- 批准年份:2023
- 资助金额:49 万元
- 项目类别:面上项目
基于机器学习和经典电动力学研究中等尺寸金属纳米粒子的量子表面等离激元
- 批准号:22373002
- 批准年份:2023
- 资助金额:50 万元
- 项目类别:面上项目
中等质量黑洞附近的暗物质分布及其IMRI系统引力波回波探测
- 批准号:12365008
- 批准年份:2023
- 资助金额:32 万元
- 项目类别:地区科学基金项目
复合低维拓扑材料中等离激元增强光学响应的研究
- 批准号:12374288
- 批准年份:2023
- 资助金额:52 万元
- 项目类别:面上项目
托卡马克偏滤器中等离子体的多尺度算法与数值模拟研究
- 批准号:12371432
- 批准年份:2023
- 资助金额:43.5 万元
- 项目类别:面上项目
相似海外基金
Collaborative Research: III: Medium: Towards Effective Detection and Mitigation for Shortcut Learning: A Data Modeling Framework
协作研究:III:媒介:针对捷径学习的有效检测和缓解:数据建模框架
- 批准号:
2310262 - 财政年份:2023
- 资助金额:
$ 120万 - 项目类别:
Standard Grant
Collaborative Research: CPS: Medium: Sensor Attack Detection and Recovery in Cyber-Physical Systems
合作研究:CPS:中:网络物理系统中的传感器攻击检测和恢复
- 批准号:
2333980 - 财政年份: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
Develop a human liver system to study SLC25A13 mutations in citrin deficiency
开发人类肝脏系统来研究柠檬酸缺乏症中的 SLC25A13 突变
- 批准号:
10724616 - 财政年份:2023
- 资助金额:
$ 120万 - 项目类别:
CPS: Medium: Reconfigurable Aerial Power-Efficient Interconnected Imaging and Detection (RAPID) Cyber-Physical System
CPS:中:可重构空中高效互连成像和检测(RAPID)网络物理系统
- 批准号:
2233783 - 财政年份:2023
- 资助金额:
$ 120万 - 项目类别:
Standard Grant