Abacus: Precise Side-Channel Analysis. - Qinkun Bao; Zihao Wang; Xiaoting Li; Larus, James R.; Dinghao Wu (ICSE: International Conference on Software Engineering, 2021)