High-assurance field inversion for pairing-friendly primes

Research output: Contribution to conferenceConference abstract for conferenceResearchpeer-review

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

Workshop

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

See relations at Aarhus University Citationformats

ID: 191807007