Equivalence Verification of Large Galois Field Arithmetic Circuits using Word-Level Abstraction via Gröbner Bases. - Tim Pruss; Priyank Kalla; Florian Enescu (DAC, 2014)

Formal verification of sequential Galois field arithmetic circuits using algebraic geometry. - Xiaojun Sun; Priyank Kalla; Tim Pruss; Florian Enescu (DATE, 2015)

Efficient Symbolic Computation for Word-Level Abstraction From Combinational Circuits for Verification Over Finite Fields. - Tim Pruss; Priyank Kalla; Florian Enescu (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2016)