对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":"对Spectre二值级符号分析仪实验评价的思考","authors":"Lesly-Ann Daniel, Sébastien Bardin, Tamara Rezk","doi":"10.14722/laser-ndss.2021.24286","DOIUrl":null,"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.0000,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"1","resultStr":"{\"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\":null,\"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.0000,\"publicationDate\":\"1900-01-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"1\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings 2021 Learning from Authoritative Security Experiment Results Workshop\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.14722/laser-ndss.2021.24286\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings 2021 Learning from Authoritative Security Experiment Results Workshop","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.14722/laser-ndss.2021.24286","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 1

摘要

执行。符号执行(symbol execution, SE)是一种众所周知的二进制代码分析技术[4]，[5]。为了分析推测常数时间，必须考虑推测语义引入的瞬态执行。然而，显式地对这些新行为建模并不能扩展，因为它会迅速导致状态爆炸。因此，挑战在于优化这种探索，以便使分析适用于实际代码。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

Reflections on the Experimental Evaluation of a Binary-Level Symbolic Analyzer for Spectre

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.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

Proceedings 2021 Learning from Authoritative Security Experiment Results Workshop

自引率

0.00%

发文量