SCINFER: Refinement-Based Verification of Software Countermeasures Against Side-Channel Attacks
2018
会议录名称THE 30TH INTERNATIONAL CONFERENCE ON COMPUTER AIDED VERIFICATION
ISSN0302-9743
卷号10982
页码157-177
发表状态已发表
DOI10.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
EISSN1611-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.
条目包含的文件 下载所有文件
文件名称/大小 文献类型 版本类型 开放类型 使用许可
个性服务
查看访问统计
谷歌学术
谷歌学术中相似的文章
[Zhang, Jun]的文章
[Gao, Pengfei]的文章
[Song, Fu]的文章
百度学术
百度学术中相似的文章
[Zhang, Jun]的文章
[Gao, Pengfei]的文章
[Song, Fu]的文章
必应学术
必应学术中相似的文章
[Zhang, Jun]的文章
[Gao, Pengfei]的文章
[Song, Fu]的文章
相关权益政策
暂无数据
收藏/分享
文件名: CAV18-1.pdf
格式: Adobe PDF
所有评论 (0)
暂无评论
 

除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。