Verifiable side-channel security of cryptographic implementations: constant-time MEE-CBCA talk by Prof. Manuel Barbosa, HASLab/INESC TEC & UMinho, and DCC-FCUPRead more