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
发表状态已发表
DOI10.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.
© The Author(s) 2019.

会议地点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.
条目包含的文件
文件名称/大小 文献类型 版本类型 开放类型 使用许可
个性服务
查看访问统计
谷歌学术
谷歌学术中相似的文章
[Gao, Pengfei]的文章
[Xie, Hongyi]的文章
[Zhang, Jun]的文章
百度学术
百度学术中相似的文章
[Gao, Pengfei]的文章
[Xie, Hongyi]的文章
[Zhang, Jun]的文章
必应学术
必应学术中相似的文章
[Gao, Pengfei]的文章
[Xie, Hongyi]的文章
[Zhang, Jun]的文章
相关权益政策
暂无数据
收藏/分享
所有评论 (0)
暂无评论
 

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