Belaïd, S., Cassiers, G., Mutschler, C., Rivain, M., Roche, T., Standaert, F.-X., & Taleb, A. R. (2025). SoK: A Methodology to Achieve Provable Side-Channel Security in Real-World Implementations. IACR Communications in Cryptology, 2(1), 43. https://doi.org/10.62056/aebngy4e- (Original work published 2025)