معرفی
Benjamin Salling Hvass is affiliated with Aarhus University and has contributed to the CPP track at POPL 2024 with the publication titled 'The Last Yard: Foundational End-to-End Verification of High-Speed Cryptography.' His research focuses on cryptography and formal verification methods.
Research Interests
- Cryptography
- Formal Verification
- High-Speed Computing
- Software Security
Contributions
In 2024, Hvass presented his work on foundational cryptographic verification, emphasizing secure and efficient software implementation.
۰مقاله منتشرشده
