Autor:	Benjamin Salling Hvass, Diego de Freitas Aranha, Bas Spitters
Jazyk:	angličtina
Rok vydání:	2020
Zdroj:	Hvass, B S, Aranha, D F & Spitters, B 2020, ' High-assurance field inversion for pairing-friendly primes ', The Coq Workshop 2020, 05/07/2020-06/07/2020 . < https://coq-workshop.gitlab.io/2020/abstracts/Coq2020_04-02-primes.pdf > Hvass, B S, Aranha, D F & Spitters, B 2020, ' High-assurance field inversion for pairing-friendly primes ', 2nd Workshop on Formal Methods for Blockchains, 20/07/2020-21/07/2020 . < https://fmbc.gitlab.io/2020/files/FMBC2020.pdf > Aarhus University
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::538a7a440eab03ae95345bf8a7ad1d6a https://pure.au.dk/portal/da/publications/highassurance-field-inversion-for-pairingfriendly-primes(5f0a91e8-0af7-4f24-890e-2f6ffe9ceebd).html Zobrazit plný text záznamu