Toward an Implementation Modeling Methodology for Designing SCA resilient Cryptographic Circuits | IEEE Conference Publication | IEEE Xplore