Imran Hafeez Abbassi, Faiq Khalid, Osman Hasan, Awais Mehmood Kamboh. Using gate-level side channel parameters for formally analyzing vulnerabilities in integrated circuits. Science of Computer Programming, 171:42-66, 2019. [doi]
Abstract is missing.