Non-intrusive runtime monitoring through power consumption to enforce safety and security properties in embedded systems

Carlos Moreno 0002, Sebastian Fischmeister. Non-intrusive runtime monitoring through power consumption to enforce safety and security properties in embedded systems. Formal Methods in System Design, 53(1):113-137, 2018. [doi]

Abstract

Abstract is missing.