GF(2^m)算术中不可约多项式的逆向工程
摘要：在Galois域（GF）算术中，目前的形式化验证电路的技术局限于已知不可约多项式P（x）的电路。本文提出了一种基于计算机代数的技术，用于提取GF（2^m）乘法器实现中使用的不可约多项式P（x）。该方法首先独立地提取每个输出位的Galois域中的唯一多项式。然后通过分析每个输出位在GF（2^m）中的代数表达式来获得P（x）。我们证明了这种方法可以在n个线程中反向工程出n位GF乘法器的不可约多项式。实验在具有不同P（x）的Mastrovito和Montgomery乘法器上进行，包括NIST推荐的多项式和不同微处理器架构的最优多项式。
作者：Cunxi Yu and Daniel Holcomb and Maciej Ciesielski
论文ID：1612.04588
分类：Symbolic Computation
分类简称：cs.SC
提交时间：2016-12-15