Securing Cryptographic Software via Typed Assembly Language.

Shixin Song, Tingzhen Dong, Kosi Nwabueze, Julian Zanders, Andres Erbsen, Adam Chlipala, Mengjia Yan

Browse the full CCS paper archive.