Revisiting Cycles of Pairing-Friendly Elliptic Curves

von Bellés-Muñoz, Marta
Veröffentlicht in International Cryptology Conference (43. : 2023 : Santa Barbara, Calif.) Advances in cryptology - CRYPTO 2023 ; Part 2 (2023)

Distilling Constraints in Zero-Knowledge Protocols

von Albert, Elvira
Veröffentlicht in International Conference on Computer-Aided Verification (34. : 2022 : Haifa) Computer aided verification ; Part 1 (2022)