Verification of Power-based Side-channel Leakage through Simulation. - Yuan Yao; Patrick Schaumont; Jasper Van Woudenberg; Cees-Bart Breunesse; Edgar Mateos Santillan; Steve Stecyk (MWSCAS, 2020)