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]

Authors

Carlos Moreno 0002

This author has not been identified. Look up 'Carlos Moreno 0002' in Google

Sebastian Fischmeister

This author has not been identified. Look up 'Sebastian Fischmeister' in Google