High-assurance field inversion for curve-based cryptography. - Benjamin Salling Hvass; Diego F. Aranha; Bas Spitters (IACR Cryptol. ePrint Arch., 2021)

Faster constant-time evaluation of the Kronecker symbol with application to elliptic curve hashing. - Diego F. Aranha; Benjamin Salling Hvass; Bas Spitters; Mehdi Tibouchi (IACR Cryptol. ePrint Arch., 2023)

The Last Yard: Foundational End-to-End Verification of High-Speed Cryptography. - Philipp G. Haselwarter; Benjamin Salling Hvass; Lasse Letager Hansen; Théo Winterhalter; Catalin Hritcu; Bas Spitters (IACR Cryptol. ePrint Arch., 2023)