Cassandra: Efficient Enforcement of Sequential Execution for Cryptographic Programs (Extended Version)

Ali Hajiabadi, Trevor E. Carlson

Constant-time programming is a widely deployed approach to harden cryptographic programs against side channel attacks. However, modern processors often violate the underlying assum…