Migrating an OS Scheduler into Tightly Coupled FPGA Logic to Increase Attacker Workload

Jason Dahlstrom, Stephen Taylor
{"title":"Migrating an OS Scheduler into Tightly Coupled FPGA Logic to Increase Attacker Workload","authors":"Jason Dahlstrom, Stephen Taylor","doi":"10.1109/MILCOM.2013.171","DOIUrl":null,"url":null,"abstract":"This paper explores the idea of increasing attacker workload by hiding core operating system functions within Field Programmable Gate Array (FPGA) logic, recently introduced within the fabric of high-performance embedded processors. The research is conducted in the context of a from-scratch micro-kernel operating system (BEAR [1]) under development at Dartmouth. This paper explains the performance costs and security enhancements associated with a rudimentary hardware scheduler on the Xilinx Zynq Z-7020 All Programmable System-on-Chip. Baseline measurements are collected for a traditional C-based software implementation. Implementations coded directly in VHDL and transformed from C to HDL via High Level Synthesis (HLS) are then compared. Performance and hardware resource utilization costs between AXI4 and AXI4-lite processor-FPGA interfaces are also evaluated.","PeriodicalId":379382,"journal":{"name":"MILCOM 2013 - 2013 IEEE Military Communications Conference","volume":"42 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2013-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"8","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"MILCOM 2013 - 2013 IEEE Military Communications Conference","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/MILCOM.2013.171","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 8

Abstract

This paper explores the idea of increasing attacker workload by hiding core operating system functions within Field Programmable Gate Array (FPGA) logic, recently introduced within the fabric of high-performance embedded processors. The research is conducted in the context of a from-scratch micro-kernel operating system (BEAR [1]) under development at Dartmouth. This paper explains the performance costs and security enhancements associated with a rudimentary hardware scheduler on the Xilinx Zynq Z-7020 All Programmable System-on-Chip. Baseline measurements are collected for a traditional C-based software implementation. Implementations coded directly in VHDL and transformed from C to HDL via High Level Synthesis (HLS) are then compared. Performance and hardware resource utilization costs between AXI4 and AXI4-lite processor-FPGA interfaces are also evaluated.
将操作系统调度器迁移到紧密耦合的FPGA逻辑中以增加攻击者的工作负载
本文探讨了通过在现场可编程门阵列(FPGA)逻辑中隐藏核心操作系统功能来增加攻击者工作量的想法,该逻辑最近在高性能嵌入式处理器的结构中引入。这项研究是在达特茅斯正在开发的一个从头开始的微内核操作系统(BEAR[1])的背景下进行的。本文解释了与Xilinx Zynq Z-7020全可编程片上系统相关的基本硬件调度器的性能成本和安全性增强。基线测量是为传统的基于c的软件实现收集的。然后比较了直接用VHDL编码和通过高级综合(HLS)从C转换为HDL的实现。还评估了AXI4和AXI4-lite处理器- fpga接口之间的性能和硬件资源利用成本。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
求助全文
约1分钟内获得全文 求助全文
来源期刊
自引率
0.00%
发文量
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
copy
已复制链接
快去分享给好友吧!
我知道了
右上角分享
点击右上角分享
0
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:604180095
Book学术官方微信