Skip to content

Benjamin Salling Hvass

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

2

Venues

2

Active years

2023–2024

Best venue rank

A*

Where they publish

Papers

2 indexed papers, newest first.

YearVenueTitleAuthors
2024CPPThe Last Yard: Foundational End-to-End Verification of High-Speed Cryptography.Philipp G. Haselwarter, Benjamin Salling Hvass, Lasse Letager Hansen, Tho Winterhalter, Catalin Hritcu, Bas Spitters
2023CCSFaster Constant-time Evaluation of the Kronecker Symbol with Application to Elliptic Curve Hashing.Diego F. Aranha, Benjamin Salling Hvass, Bas Spitters, Mehdi Tibouchi