ShanghaiTech University Knowledge Management System
Quantitative verification of masked arithmetic programs against side-channel attacks | |
2019 | |
会议录名称 | THE 25TH INTERNATIONAL CONFERENCE ON TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS |
卷号 | 11427 LNCS |
页码 | 155-173 |
发表状态 | 已发表 |
DOI | 10.1007/978-3-030-17462-0_9 |
摘要 | Power side-channel attacks, which can deduce secret data via statistical analysis, have become a serious threat. Masking is an effective countermeasure for reducing the statistical dependence between secret data and side-channel information. However, designing masking algorithms is an error-prone process. In this paper, we propose a hybrid approach combing type inference and model-counting to verify masked arithmetic programs against side-channel attacks. The type inference allows an efficient, lightweight procedure to determine most observable variables whereas model-counting accounts for completeness. In case that the program is not perfectly masked, we also provide a method to quantify the security level of the program. We implement our methods in a tool QMVerif and evaluate it on cryptographic benchmarks. The experiment results show the effectiveness and efficiency of our approach. |
会议地点 | Prague, Czech republic |
收录类别 | EI ; CPCI ; CPCI-S |
资助项目 | National Natural Science Foundation of China[61532019] ; National Natural Science Foundation of China[61761136011] ; Australian Research Council[DP160101652] ; Australian Research Council[DP180100691] ; Engineering and Physical Sciences Research Council[EP/P00430X/1] |
出版者 | Springer Verlag |
EI入藏号 | 20191806860144 |
EI主题词 | Artificial intelligence ; Computer science ; Computers |
EI分类号 | Artificial Intelligence:723.4 |
原始文献类型 | Conference article (CA) |
引用统计 | |
文献类型 | 会议论文 |
条目标识符 | https://kms.shanghaitech.edu.cn/handle/2MSLDSTB/45609 |
专题 | 信息科学与技术学院_本科生 信息科学与技术学院_PI研究组_宋富组 信息科学与技术学院_硕士生 信息科学与技术学院_博士生 |
通讯作者 | Song, Fu |
作者单位 | 1.School of Information Science and Technology, ShanghaiTech University, Shanghai, China 2.Department of Computer Science and Information Systems, Birkbeck, University of London, London, United Kingdom |
第一作者单位 | 信息科学与技术学院 |
通讯作者单位 | 信息科学与技术学院 |
第一作者的第一单位 | 信息科学与技术学院 |
推荐引用方式 GB/T 7714 | Gao, Pengfei,Xie, Hongyi,Zhang, Jun,et al. Quantitative verification of masked arithmetic programs against side-channel attacks[C]:Springer Verlag,2019:155-173. |
条目包含的文件 | ||||||
文件名称/大小 | 文献类型 | 版本类型 | 开放类型 | 使用许可 |
修改评论
除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。