Securing Cryptographic Software via Typed Assembly Language (Extended Version)

Shixin Song, Tingzhen Dong, Kosi Nwabueze +4

Authors of cryptographic software are well aware that their code should not leak secrets through its timing behavior, and, until 2018, they believed that following industry-standar…