A Systematic Design Methodology of Formally-Proven Side-Channel-Resistant Cryptographic Hardware
A Systematic Design Methodology of Formally-Proven Side-Channel-Resistant Cryptographic Hardware
复制标题
经正式验证的抗侧信道加密硬件的系统设计方法
DOI：
10.1109/mdat.2021.3063337
复制
发表时间：
2021
影响因子：
2
通讯作者：
Aoki Takafumi
中科院分区：
文献类型：
--
作者：
Ueno Rei;Homma Naofumi;Morioka Sumio;Aoki Takafumi
提出了一个基于广义掩码方案的密码硬件可证安全寄存器传输级描述的形式化设计系统。- 罗萨里奥Cammarota，英特尔实验室-Francesco Regazzoni，阿姆斯特丹大学和意大利科技大学
This article proposes a formal design system for automatically generating provably secure register transfer level description of cryptographic hardware based on generalized masking scheme. -Rosario Cammarota, Intel Labs -Francesco Regazzoni, University of Amsterdam and Università della Svizzera Italiana