{CtChecker}: A Precise, Sound and Efficient Static Analysis for Constant-Time Programming.

Quan Zhou, Sixuan Dang, Danfeng Zhang

Browse the full ECOOP paper archive.