On the Unpredictability of SPICE Simulations for Side-Channel Leakage Verification of Masked Cryptographic Circuits | IEEE Conference Publication | IEEE Xplore