Towards Efficient Verification of Constant-Time Cryptographic Implementations

Luwei Cai, Fu Song, Taolue Chen

Timing side-channel attacks exploit secret-dependent execution time to fully or partially recover secrets of cryptographic implementations, posing a severe threat to software secur…