ShanghaiTech University Knowledge Management System
SCINFER: Refinement-Based Verification of Software Countermeasures Against Side-Channel Attacks | |
2018 | |
会议录名称 | THE 30TH INTERNATIONAL CONFERENCE ON COMPUTER AIDED VERIFICATION |
ISSN | 0302-9743 |
卷号 | 10982 |
页码 | 157-177 |
发表状态 | 已发表 |
DOI | 10.1007/978-3-319-96142-2_12 |
摘要 | Power side-channel attacks, capable of deducing secret using statistical analysis techniques, have become a serious threat to devices in cyber-physical systems and the Internet of things. Random masking is a widely used countermeasure for removing the statistical dependence between secret data and side-channel leaks. Although there are techniques for verifying whether software code has been perfectly masked, they are limited in accuracy and scalability. To bridge this gap, we propose a refinement-based method for verifying masking countermeasures. Our method is more accurate than prior syntactic type inference based approaches and more scalable than prior model-counting based approaches using SAT or SMT solvers. Indeed, it can be viewed as a gradual refinement of a set of semantic type inference rules for reasoning about distribution types. These rules are kept abstract initially to allow fast deduction, and then made concrete when the abstract version is not able to resolve the verification problem. We have implemented our method in a tool and evaluated it on cryptographic benchmarks including AES and MAC-Keccak. The results show that our method significantly outperforms state-of-the-art techniques in terms of both accuracy and scalability. |
会议地点 | Oxford, United kingdom |
收录类别 | EI ; CPCI ; CPCI-S |
语种 | 英语 |
资助项目 | U.S. National Science Foundation (NSF)[CNS-1617203] |
WOS研究方向 | Computer Science |
WOS类目 | Computer Science, Software Engineering ; Computer Science, Theory & Methods |
WOS记录号 | WOS:000491469700012 |
出版者 | SPRINGER INTERNATIONAL PUBLISHING AG |
EI入藏号 | 20183205674688 |
EI主题词 | Computer aided analysis ; Computer circuits ; Embedded systems ; Scalability ; Semantics ; Verification |
EISSN | 1611-3349 |
EI分类号 | Computer Theory, Includes Formal Logic, Automata Theory, Switching Theory, Programming Theory:721.1 ; Computer Circuits:721.3 ; Computer Applications:723.5 ; Systems Science:961 |
WOS关键词 | HIGHER-ORDER MASKING |
原始文献类型 | Proceedings Paper |
引用统计 | |
文献类型 | 会议论文 |
条目标识符 | https://kms.shanghaitech.edu.cn/handle/2MSLDSTB/27579 |
专题 | 信息科学与技术学院 信息科学与技术学院_PI研究组_宋富组 信息科学与技术学院_硕士生 信息科学与技术学院_博士生 |
通讯作者 | Song, Fu |
作者单位 | 1.ShanghaiTech University, Shanghai, China 2.University of Southern California, Los Angeles; CA, United States |
第一作者单位 | 上海科技大学 |
通讯作者单位 | 上海科技大学 |
第一作者的第一单位 | 上海科技大学 |
推荐引用方式 GB/T 7714 | Zhang, Jun,Gao, Pengfei,Song, Fu,et al. SCINFER: Refinement-Based Verification of Software Countermeasures Against Side-Channel Attacks[C]:SPRINGER INTERNATIONAL PUBLISHING AG,2018:157-177. |
条目包含的文件 | 下载所有文件 | |||||
文件名称/大小 | 文献类型 | 版本类型 | 开放类型 | 使用许可 |
修改评论
除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。