...
机译:验证高次Galois场算术电路的形式化方法
Tohoku University, Aoba-ku, Sendai-shi, Japan;
Tohoku University, Aoba-ku, Sendai-shi, Japan;
Tohoku University, Aoba-ku, Sendai-shi, Japan;
Tohoku University, Aoba-ku, Sendai-shi, Japan;
Elliptic curve cryptography; Encryption; Program processors; Decoding; Design methodology; Generators;
机译:Galois现场算术电路的形式分析-并行验证和逆向工程
机译:Galois现场算术电路的形式验证的有效Gr?bner基简化
机译:多元值特征验证伽罗瓦场算术电路的代数方法
机译:一种验证高次Galois场算术电路的有效方法及其在ECC解码器中的应用
机译:使用计算机代数技术的有限域算术电路的可扩展形式验证。
机译:Galois场中的多项式算法
机译:高效的Gröbner基础缩短了Galois现场算术电路的正式验证