The 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

Browse the full CPP paper archive.