SaTC: CORE: Small: Collaborative: Oblivious ISAs for Secure and Efficient Enclave Programming

SaTC:核心:小型:协作:用于安全高效 Enclave 编程的不经意的 ISA

基本信息

项目摘要

Computing on personal data is critical for both personal and social good. For example, we write programs that predict early onset medical conditions and detect the spread of diseases before they become epidemics. However, such computing is fraught with privacy concerns because programs, and the hardware they run on, create a trail of clues that an attacker can observe to reconstruct personal data without ever seeing the data directly. This project will create computer systems that proactively leave no clues, i.e., no side-effects that can leak personal secrets.The technical approach is to introduce a new Oblivious Instruction Set Architecture (OISA) for side-channel secure execution. The key idea in OISAs is to decouple the programming model from the concrete techniques that prevent information leaks. The first project thrust will investigate a range of Oblivious instructions---from simple oblivious instructions like an oblivious conditional move or oblivious load to more complex instructions like oblivious sort or floating point operations---to improve performance. The second project thrust will investigate how each of these instructions can be ported across threat models, e.g., digital and power side channels.By decoupling threat model from programming model, OISAs will unlock innovation on both software and hardware fronts. Programmers can focus on identifying secret variables that are intrinsic to applications, while abstracting out micro-architecture and threat model details. Hardware architects can focus on how to efficiently protect those secrets, and how to patch existing implementations when new threats emerge. To support this philosophy, the project will train a new class of students and researchers who can work across circuits, micro-architecture, compilers and applied cryptography to build secure systems and, in the future, apply the lessons learned to other high-impact problems that require cross-layer solutions.The OISA project will store all publications, code, and data-sets on public-facing websites, hosted at both University of Texas and Illinois for at least 3 years after the end of the project. This information will be made available via commercial websites. Links to these websites will be mirrored at http://spark.ece.utexas.edu/oisa and http://cwfletcher.net/oisa.This award reflects NSF's statutory mission and has been deemed worthy of support through evaluation using the Foundation's intellectual merit and broader impacts review criteria.
对个人数据的计算对个人和社会利益都至关重要。例如,我们编写程序来预测早期发病的医疗条件,并在疾病成为流行病之前检测疾病的传播。然而,这种计算充满了隐私问题,因为程序和它们运行的硬件会创建一系列线索,攻击者可以观察这些线索来重建个人数据,而无需直接看到数据。该项目将创建主动不留线索的计算机系统,即,没有可能泄露个人秘密的副作用。技术方法是引入一种新的不经意指令集架构(OISA),用于边通道安全执行。OISAs的关键思想是将编程模型与防止信息泄漏的具体技术分离。第一个项目将研究一系列不经意指令--从简单的不经意指令(如不经意条件移动或不经意加载)到更复杂的指令(如不经意排序或浮点运算)--以提高性能。第二个项目重点将研究这些指令中的每一个如何跨威胁模型移植,例如,通过将威胁模型从编程模型中分离出来,OISAs将在软件和硬件方面实现创新。程序员可以专注于识别应用程序固有的秘密变量,同时抽象出微架构和威胁模型细节。硬件架构师可以专注于如何有效地保护这些秘密,以及如何在出现新威胁时修补现有实现。为了支持这一理念,该项目将培养一批新的学生和研究人员,他们可以跨电路、微架构、编译器和应用密码学工作,以构建安全系统,并在未来将学到的经验教训应用于其他需要跨层解决方案的高影响力问题。OISA项目将在面向公众的网站上存储所有出版物、代码和数据集,在项目结束后,在德克萨斯大学和伊利诺伊大学举办至少3年。这些信息将通过商业网站提供。这些网站的链接将反映在http://spark.ece.utexas.edu/oisa上,http://cwfletcher.net/oisa.This奖项反映了NSF的法定使命,并被认为值得通过使用基金会的知识价值和更广泛的影响审查标准进行评估来支持。

项目成果

期刊论文数量(3)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
Data Oblivious ISA Extensions for Side Channel-Resistant and High Performance Computing
  • DOI:
    10.14722/ndss.2019.23061
  • 发表时间:
    2018
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Jiyong Yu;Lucas Hsiung;Mohamad El Hajj;Christopher W. Fletcher
  • 通讯作者:
    Jiyong Yu;Lucas Hsiung;Mohamad El Hajj;Christopher W. Fletcher
Speculative Data-Oblivious Execution (SDO): Mobilizing Safe Prediction For Safe and Efficient Speculative Execution
推测性数据不经意执行 (SDO):利用安全预测实现安全高效的推测执行
Speculative Taint Tracking (STT): A Comprehensive Protection for Speculatively Accessed Data
  • DOI:
    10.1145/3352460.3358274
  • 发表时间:
    2019-10
  • 期刊:
  • 影响因子:
    3.6
  • 作者:
    Jiyong Yu;Mengjia Yan;Artem Khyzha;Adam Morrison;J. Torrellas;Christopher W. Fletcher
  • 通讯作者:
    Jiyong Yu;Mengjia Yan;Artem Khyzha;Adam Morrison;J. Torrellas;Christopher W. Fletcher
{{ 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 }}

Christopher Fletcher其他文献

Tobacco: Promotion and Smoking-Reply
烟草:促销和吸烟-回复
  • DOI:
  • 发表时间:
    1992
  • 期刊:
  • 影响因子:
    0
  • 作者:
    J. Difranza;J. W. Richards;P. Paulman;Nancy Wolf;Christopher Fletcher;Robert D. Jaffe
  • 通讯作者:
    Robert D. Jaffe
Beyond the Public Meeting: Building a Field-Based Participatory GIS for Land Use Planning in Monongalia County, West Virginia
公开会议之外:为西弗吉尼亚州莫农加利亚县的土地利用规划构建基于现场的参与式 GIS
  • DOI:
    10.4018/978-1-59140-845-1.ch003
  • 发表时间:
    2006
  • 期刊:
  • 影响因子:
    6.4
  • 作者:
    Timothy L. Hawthorne;M. Dougherty;G. Elmes;Christopher Fletcher;B. McCusker;Marta Pinto;Daniel Weiner
  • 通讯作者:
    Daniel Weiner
Trade and Transport in Late Roman Syria
罗马晚期叙利亚的贸易和运输
  • DOI:
  • 发表时间:
    2016
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Christopher Fletcher
  • 通讯作者:
    Christopher Fletcher
Phase II study of venetoclax added to bendamustine and obinutuzumab in patients with high-risk follicular lymphoma as front-line therapy: PrE0403
维奈托克联合苯达莫司汀和奥比妥珠单抗作为高危滤泡性淋巴瘤一线治疗的 II 期研究:PrE0403
  • DOI:
    10.1038/s41408-025-01300-1
  • 发表时间:
    2025-05-12
  • 期刊:
  • 影响因子:
    11.600
  • 作者:
    Craig A. Portell;Opeyemi A. Jegede;Nina Wagner-Johnston;Grzegorz S. Nowakowski;Christopher Fletcher;Jonathon B. Cohen;Andrew M. Evens;Lori J. Rosenstein;Jeffrey W. Craig;Nishitha Reddy;Brad S. Kahl
  • 通讯作者:
    Brad S. Kahl
York: The Making of a City, 1068-1350 by Sarah Rees Jones (review)
约克:一座城市的形成,1068-1350 年莎拉·里斯·琼斯(Sarah Rees Jones)(评论)

Christopher Fletcher的其他文献

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

{{ truncateString('Christopher Fletcher', 18)}}的其他基金

SaTC: CORE: Medium: Collaborative: Hardening Off-the-Shelf Software Against Side Channel Attacks
SaTC:核心:媒介:协作:强化现成软件以抵御侧通道攻击
  • 批准号:
    2425665
  • 财政年份:
    2024
  • 资助金额:
    $ 25万
  • 项目类别:
    Continuing Grant
Collaborative Research: SaTC: CORE: Medium: Systematic Detection Of and Defenses Against Next-Generation Microarchitectural Attacks
协作研究:SaTC:核心:中:下一代微架构攻击的系统检测和防御
  • 批准号:
    2154183
  • 财政年份:
    2022
  • 资助金额:
    $ 25万
  • 项目类别:
    Continuing Grant
SaTC: CORE: Medium: Collaborative: Hardening Off-the-Shelf Software Against Side Channel Attacks
SaTC:核心:媒介:协作:强化现成软件以抵御侧通道攻击
  • 批准号:
    1954521
  • 财政年份:
    2020
  • 资助金额:
    $ 25万
  • 项目类别:
    Continuing Grant
CAREER: Fortifying Leaky Hardware Interfaces with Distinguishability Set Architectures
职业:通过可区分性集架构强化泄漏硬件接口
  • 批准号:
    1942888
  • 财政年份:
    2020
  • 资助金额:
    $ 25万
  • 项目类别:
    Continuing Grant
CNS Core: Small: Harnessing Weight Repetition for Efficient Deep Neural Network Inference on General-Purpose Platforms
CNS 核心:小型:利用权重重复在通用平台上进行高效深度神经网络推理
  • 批准号:
    1909999
  • 财政年份:
    2019
  • 资助金额:
    $ 25万
  • 项目类别:
    Standard Grant

相似国自然基金

胆固醇羟化酶CH25H非酶活依赖性促进乙型肝炎病毒蛋白Core及Pre-core降解的分子机制研究
  • 批准号:
    82371765
  • 批准年份:
    2023
  • 资助金额:
    50 万元
  • 项目类别:
    面上项目
锕系元素5f-in-core的GTH赝势和基组的开发
  • 批准号:
    22303037
  • 批准年份:
    2023
  • 资助金额:
    30 万元
  • 项目类别:
    青年科学基金项目
基于合成致死策略搭建Core-matched前药共组装体克服肿瘤耐药的机制研究
  • 批准号:
  • 批准年份:
    2022
  • 资助金额:
    52 万元
  • 项目类别:
鼠伤寒沙门氏菌LPS core经由CD209/SphK1促进树突状细胞迁移加重炎症性肠病的机制研究
  • 批准号:
  • 批准年份:
    2022
  • 资助金额:
    30 万元
  • 项目类别:
    青年科学基金项目
肌营养不良蛋白聚糖Core M3型甘露糖肽的精确制备及功能探索
  • 批准号:
    92053110
  • 批准年份:
    2020
  • 资助金额:
    70.0 万元
  • 项目类别:
    重大研究计划
Core-1-O型聚糖黏蛋白缺陷诱导胃炎发生并介导慢性胃炎向胃癌转化的分子机制研究
  • 批准号:
    81902805
  • 批准年份:
    2019
  • 资助金额:
    20.5 万元
  • 项目类别:
    青年科学基金项目
原始地球增生晚期的Core-merging大碰撞事件:地核增生、核幔平衡与核幔边界结构的新认识
  • 批准号:
    41973063
  • 批准年份:
    2019
  • 资助金额:
    65.0 万元
  • 项目类别:
    面上项目
RBM38通过协助Pol-ε结合、招募core调控HBV复制
  • 批准号:
    31900138
  • 批准年份:
    2019
  • 资助金额:
    24.0 万元
  • 项目类别:
    青年科学基金项目
CORDEX-CORE区域气候模拟与预估研讨会
  • 批准号:
    41981240365
  • 批准年份:
    2019
  • 资助金额:
    1.5 万元
  • 项目类别:
    国际(地区)合作与交流项目

相似海外基金

SaTC: CORE: Small: An evaluation framework and methodology to streamline Hardware Performance Counters as the next-generation malware detection system
SaTC:核心:小型:简化硬件性能计数器作为下一代恶意软件检测系统的评估框架和方法
  • 批准号:
    2327427
  • 财政年份:
    2024
  • 资助金额:
    $ 25万
  • 项目类别:
    Continuing Grant
Collaborative Research: NSF-BSF: SaTC: CORE: Small: Detecting malware with machine learning models efficiently and reliably
协作研究:NSF-BSF:SaTC:核心:小型:利用机器学习模型高效可靠地检测恶意软件
  • 批准号:
    2338301
  • 财政年份:
    2024
  • 资助金额:
    $ 25万
  • 项目类别:
    Continuing Grant
Collaborative Research: NSF-BSF: SaTC: CORE: Small: Detecting malware with machine learning models efficiently and reliably
协作研究:NSF-BSF:SaTC:核心:小型:利用机器学习模型高效可靠地检测恶意软件
  • 批准号:
    2338302
  • 财政年份:
    2024
  • 资助金额:
    $ 25万
  • 项目类别:
    Continuing Grant
SaTC: CORE: Small: NSF-DST: Understanding Network Structure and Communication for Supporting Information Authenticity
SaTC:核心:小型:NSF-DST:了解支持信息真实性的网络结构和通信
  • 批准号:
    2343387
  • 财政年份:
    2024
  • 资助金额:
    $ 25万
  • 项目类别:
    Standard Grant
NSF-NSERC: SaTC: CORE: Small: Managing Risks of AI-generated Code in the Software Supply Chain
NSF-NSERC:SaTC:核心:小型:管理软件供应链中人工智能生成代码的风险
  • 批准号:
    2341206
  • 财政年份:
    2024
  • 资助金额:
    $ 25万
  • 项目类别:
    Standard Grant
Collaborative Research: SaTC: CORE: Small: Towards Secure and Trustworthy Tree Models
协作研究:SaTC:核心:小型:迈向安全可信的树模型
  • 批准号:
    2413046
  • 财政年份:
    2024
  • 资助金额:
    $ 25万
  • 项目类别:
    Standard Grant
SaTC: CORE: Small: Study, Detection and Containment of Influence Campaigns
SaTC:核心:小型:影响力活动的研究、检测和遏制
  • 批准号:
    2321649
  • 财政年份:
    2023
  • 资助金额:
    $ 25万
  • 项目类别:
    Standard Grant
SaTC: CORE: Small: Socio-Technical Approaches for Securing Cyber-Physical Systems from False Claim Attacks
SaTC:核心:小型:保护网络物理系统免受虚假声明攻击的社会技术方法
  • 批准号:
    2310470
  • 财政年份:
    2023
  • 资助金额:
    $ 25万
  • 项目类别:
    Standard Grant
Collaborative Research: SaTC: CORE: Small: Investigation of Naming Space Hijacking Threat and Its Defense
协作研究:SaTC:核心:小型:命名空间劫持威胁及其防御的调查
  • 批准号:
    2317830
  • 财政年份:
    2023
  • 资助金额:
    $ 25万
  • 项目类别:
    Continuing Grant
Collaborative Research: SaTC: CORE: Small: Towards a Privacy-Preserving Framework for Research on Private, Encrypted Social Networks
协作研究:SaTC:核心:小型:针对私有加密社交网络研究的隐私保护框架
  • 批准号:
    2318843
  • 财政年份:
    2023
  • 资助金额:
    $ 25万
  • 项目类别:
    Continuing Grant
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了