Benjamin Salling Hvass

According to our database, Benjamin Salling Hvass authored at least 3 papers between 2023 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

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

Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2024

2023

High-Assurance Field Inversion for Curve-Based Cryptography.

Benjamin Salling Hvass, Diego F. Aranha, Bas Spitters

Proceedings of the 36th IEEE Computer Security Foundations Symposium, 2023

Faster Constant-time Evaluation of the Kronecker Symbol with Application to Elliptic Curve Hashing.

Diego F. Aranha, Benjamin Salling Hvass, Bas Spitters, Mehdi Tibouchi

Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, 2023