Jean-Sébastien Coron. Formal Verification of Side-Channel Countermeasures via Elementary Circuit Transformations. In Bart Preneel, Frederik Vercauteren, editors, Applied Cryptography and Network Security - 16th International Conference, ACNS 2018, Leuven, Belgium, July 2-4, 2018, Proceedings. Volume 10892 of Lecture Notes in Computer Science, pages 65-82, Springer, 2018. [doi]
Abstract is missing.