Benjamin Salling Hvass

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 6

Top Topics

Operating System

Top Venues

IACR Cryptol. ePrint Arch.

Publications

Philipp G. Haselwarter, Benjamin Salling Hvass, Lasse Letager Hansen, Théo Winterhalter, Catalin Hritcu, Bas Spitters
The Last Yard: Foundational End-to-End Verification of High-Speed Cryptography. CPP (2024)
Benjamin Salling Hvass, Diego F. Aranha, Bas Spitters
High-Assurance Field Inversion for Curve-Based Cryptography. CSF (2023)
Philipp G. Haselwarter, Benjamin Salling Hvass, Lasse Letager Hansen, Théo Winterhalter, Catalin Hritcu, Bas Spitters
The Last Yard: Foundational End-to-End Verification of High-Speed Cryptography. IACR Cryptol. ePrint Arch. 2023 (2023)
Diego F. Aranha, Benjamin Salling Hvass, Bas Spitters, Mehdi Tibouchi
Faster constant-time evaluation of the Kronecker symbol with application to elliptic curve hashing. IACR Cryptol. ePrint Arch. 2023 (2023)
Diego F. Aranha, Benjamin Salling Hvass, Bas Spitters, Mehdi Tibouchi
Faster Constant-time Evaluation of the Kronecker Symbol with Application to Elliptic Curve Hashing. CCS (2023)
Benjamin Salling Hvass, Diego F. Aranha, Bas Spitters
High-assurance field inversion for curve-based cryptography. IACR Cryptol. ePrint Arch. 2021 (2021)