Verification of Power-based Side-channel Leakage through Simulation | IEEE Conference Publication | IEEE Xplore