Quantifying Information Leakage for Security Verification of Compiler Optimizations. - Priyanka Panigrahi; Abhik Paul; Chandan Karfa (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022)