High-assurance field inversion for pairing-friendly primes

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

Original language	English
Publication date	20 Jul 2020
Publication status	Published - 20 Jul 2020
Event	2nd Workshop on Formal Methods for Blockchains - Duration: 20 Jul 2020 → 21 Jul 2020 https://fmbc.gitlab.io/2020/

Workshop	2nd Workshop on Formal Methods for Blockchains
Period	20/07/2020 → 21/07/2020
Internet address	https://fmbc.gitlab.io/2020/

Access to Document

@conference{7339f9605c0f455d8b925e39abd2885d,

title = "High-assurance field inversion for pairing-friendly primes",

author = "Hvass, {Benjamin Salling} and Aranha, {Diego F.} and Bas Spitters",

year = "2020",

month = jul,

day = "20",

language = "English",

note = "2nd Workshop on Formal Methods for Blockchains, FMBC ; Conference date: 20-07-2020 Through 21-07-2020",

url = "https://fmbc.gitlab.io/2020/",

}