Galpagos: Developing Verified Low Level Cryptography on Heterogeneous Hardwares.

Yi Zhou, Sydney Gibson, Sarah Cai, Menucha Winchell, Bryan Parno

Browse the full CCS paper archive.