Galápagos: Developing Verified Low Level Cryptography on Heterogeneous Hardwares. - Yi Zhou 025; Sydney Gibson; Sarah Cai; Menucha Winchell; Bryan Parno (CCS, 2023)