Effective Formal Verification for Galois-field Arithmetic Circuits with Multiple-Valued Characteristics
Effective Formal Verification for Galois-field Arithmetic Circuits with Multiple-Valued Characteristics
复制标题
具有多值特性的伽罗瓦域算术电路的有效形式化验证
DOI：
--
复制
发表时间：
2020
期刊：
影响因子：
--
通讯作者：
and Naofumi Homma
中科院分区：
文献类型：
--
作者：
Akira Ito;Rei Ueno;and Naofumi Homma
伽罗瓦域算术电路的形式分析-并行验证与逆向工程
DOI：
--
发表时间：
2018
影响因子：
2.9
作者：
Cunxi Yu;M. Ciesielski
通讯作者：
M. Ciesielski
在奇数特征 $p$ 的有限域上计算雅可比变体超椭圆曲线 $y^2=x^p-x 1$ 的高效算法
影响因子：
0.7
作者：
I. Duursma;K. Sakurai
通讯作者：
K. Sakurai