High-assurance field inversion for pairing-friendly primes

Benjamin Salling Hvass, Diego F. Aranha, Bas Spitters

Research output: Contribution to conference › Conference abstract for conference › Research › peer-review

Original languageEnglish
Publication date6 Jul 2020
Publication statusPublished - 6 Jul 2020
EventThe Coq Workshop 2020 - https://coq-workshop.gitlab.io/2020/
Duration: 5 Jul 2020 → 6 Jul 2020

Workshop

WorkshopThe Coq Workshop 2020
Locationhttps://coq-workshop.gitlab.io/2020/
Period05/07/2020 → 06/07/2020

Access to Document

Cite this