发布求助
文献互助 智能选刊 最新文献

Proceedings 2021 Learning from Authoritative Security Experiment Results Workshop最新文献

筛选
英文 中文
On Building the Data-Oblivious Virtual Environment 构建数据无关的虚拟环境
Proceedings 2021 Learning from Authoritative Security Experiment Results Workshop Pub Date : 1900-01-01 DOI: 10.14722/laser-ndss.2021.23056
Tushar M. Jois, Hyun Bin Lee, Christopher W. Fletcher, Carl A. Gunter
{"title":"On Building the Data-Oblivious Virtual Environment","authors":"Tushar M. Jois, Hyun Bin Lee, Christopher W. Fletcher, Carl A. Gunter","doi":"10.14722/laser-ndss.2021.23056","DOIUrl":"https://doi.org/10.14722/laser-ndss.2021.23056","url":null,"abstract":"software must be hardened to block a plethora of microarchitectural side channels (e.g., [11], [65], [73], [76]). Yet, existing software-based techniques to block these channels—coming from a rich line of research in data-oblivious/constant-time programming [8], [20], [51], [59]—fall short of protecting existing high-level language stacks such as R, Ruby and Python. Specifically, these techniques typically require experts to manually code core routines [8], [9], require the use of custom domain-specific languages [13], [63], or only apply to close-to-metal compiled languages [51], [59].","PeriodicalId":147154,"journal":{"name":"Proceedings 2021 Learning from Authoritative Security Experiment Results Workshop","volume":"18 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121306862","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Reflections on the Experimental Evaluation of a Binary-Level Symbolic Analyzer for Spectre 对Spectre二值级符号分析仪实验评价的思考
Proceedings 2021 Learning from Authoritative Security Experiment Results Workshop Pub Date : 1900-01-01 DOI: 10.14722/laser-ndss.2021.24286
Lesly-Ann Daniel, Sébastien Bardin, Tamara Rezk
{"title":"Reflections on the Experimental Evaluation of a Binary-Level Symbolic Analyzer for Spectre","authors":"Lesly-Ann Daniel, Sébastien Bardin, Tamara Rezk","doi":"10.14722/laser-ndss.2021.24286","DOIUrl":"https://doi.org/10.14722/laser-ndss.2021.24286","url":null,"abstract":"execution. A well-known analysis technique that scales well on binary code is symbolic execution (SE) [4], [5]. In order to analyze speculative constant-time, it must be adapted to additionally consider transient execution introduced by the speculative semantics. However, modeling these new behaviors explicitly does not scale because it quickly leads to state explosion. Therefore, the challenge is to optimize this exploration in order to make the analysis applicable to real code.","PeriodicalId":147154,"journal":{"name":"Proceedings 2021 Learning from Authoritative Security Experiment Results Workshop","volume":"75 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133396494","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
The Nuts and Bolts of Building FlowLens 建筑流透镜的螺母和螺栓
Proceedings 2021 Learning from Authoritative Security Experiment Results Workshop Pub Date : 1900-01-01 DOI: 10.14722/laser-ndss.2021.24067
Diogo Barradas, Nuno Santos, Luís Rodrigues, S. Signorello, Fernando M. V. Ramos, André Madeira
{"title":"The Nuts and Bolts of Building FlowLens","authors":"Diogo Barradas, Nuno Santos, Luís Rodrigues, S. Signorello, Fernando M. V. Ramos, André Madeira","doi":"10.14722/laser-ndss.2021.24067","DOIUrl":"https://doi.org/10.14722/laser-ndss.2021.24067","url":null,"abstract":"The recent adoption of programmable switching devices has enabled the deployment of efficient packet processing primitives in large-scale, high-speed networks. These capabilities have sparked a consistent effort from the research community to perform network security tasks in such switches with the goal of decreasing reaction times to threats and reducing costs associated with equivalent centralized server-based infrastructures. Unfortunately, existing solutions [20, 23, 41] target specific security-driven tasks and cannot accommodate ML tasks that perform targeted flow classification based on packet size or inter-packet frequency distributions.","PeriodicalId":147154,"journal":{"name":"Proceedings 2021 Learning from Authoritative Security Experiment Results Workshop","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129195560","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：481959085
Book学术官方微信