Project website of Formal Analysis of Galois Field Arithmetics - Parallel Verification and Reverse Engineering - View it on GitHub