High-assurance field inversion for pairing-friendly primes

Benjamin Salling Hvass, Bas Spitters, Diego F. Aranha
The Coq Workshop 2020 and 2nd Workshop on Formal Methods for Blockchains (FMBC 2020) 2020
PDF BibTeX
Type
Refereed workshop paper