"Bucketing and information flow analysis for provable timing attack mitigation."

Tachio Terauchi, Timos Antonopoulos (2020)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics