Galápagos: Developing Verified Low Level Cryptography on Heterogeneous Hardwares
Yi Zhou, Sydney Gibson, Sarah Cai, Menucha Winchell, Bryan Jeffery Parno · 2023
The proliferation of new hardware designs makes it difficult to produce high-performance cryptographic implementations tailored at the assembly level to each platform, let alone to prove such implementations correct. Hence we introduce Galápagos, an extensible framework designed to reduce the effort of verifying cryptographic implementations across different ISAs.