Securing Cryptographic Software via Typed Assembly Language

Presented a transformation framework that rewrites cryptographic assembly programs to separate secret and public stack data, facilitating secure speculation using hardware taint tracking.