The Last Yard: Foundational End-to-End Verification of High-Speed Cryptography - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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. In Amin Timany, Dmitriy Traytel, Brigitte Pientka, Sandrine Blazy, editors, Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2024, London, UK, January 15-16, 2024. pages 30-44, ACM, 2024. [doi]

This author has not been identified. Look up 'Philipp G. Haselwarter' in GoogleThis author has not been identified. Look up 'Benjamin Salling Hvass' in GoogleThis author has not been identified. Look up 'Lasse Letager Hansen' in GoogleThis author has not been identified. Look up 'Théo Winterhalter' in GoogleThis author has not been identified. Look up 'Catalin Hritcu' in GoogleThis author has not been identified. Look up 'Bas Spitters' in Google

runs on WebDSL