Sonia Belaïd, Gaëtan Cassiers, Camille Mutschler, Matthieu Rivain, Thomas Roche, François-Xavier Standaert, Abdul Rahman Taleb. Towards Achieving Provable Side-Channel Security in Practice. IACR Cryptology ePrint Archive, 2023:1198, 2023. [doi]
Abstract is missing.