Automatic Generation of Formally-Proven Tamper-Resistant Galois-Field Multipliers Based on Generalized Masking Scheme
Automatic Generation of Formally-Proven Tamper-Resistant Galois-Field Multipliers Based on Generalized Masking Scheme
复制标题
基于广义掩蔽方案自动生成经过形式验证的防篡改伽罗瓦域乘法器
DOI：
--
复制
发表时间：
2019
期刊：
影响因子：
--
通讯作者：
Rei Ueno
中科院分区：
文献类型：
--
作者：
Akira Ito;Rei Ueno;Naofumi Homma;Takafumi Aoki;伊東燦;上野嶺;上野嶺;伊東燦;小田麻矢;数森康平;Rei Ueno;澤田石尚太郎;伊東燦;上野嶺;伊東燦;小田麻矢;大澤創紀;伊東燦;数森康平;門脇悠真;船越秀隼;Kohei Kazumori;Rei Ueno;Rei Ueno;Rei Ueno
一种基于图的有限域系数计算和表示统一技术
影响因子：
3.7
作者：
A. Jabir;D. Pradhan
通讯作者：
D. Pradhan
用于伽罗瓦域乘数形式化验证的高效 Gröbner 基约简
DOI：
--
发表时间：
2012
期刊：
Design, Automation and Test in Europe
影响因子：
--
作者：
Jinpeng Lv;P. Kalla;Florian Enescu
通讯作者：
Florian Enescu
多值函数的克罗内克伽罗瓦场决策图的电路设计
DOI：
10.1109/ismvl.1997.601413
发表时间：
1997
期刊：
Proceedings 1997 27th International Symposium on Multiple- Valued Logic
影响因子：
--
作者：
R. Stankovic;R. Drechsler
通讯作者：
R. Drechsler