Browsing Computer Science by Supervisor "Fischmeister, Sebastian"
Now showing items 1-2 of 2
-
Aggregation of Heterogeneous Anomaly Detectors for Cyber-Physical Systems
(University of Waterloo, 2019-01-07)Distributed, life-critical systems that bridge the gap between software and hardware are becoming an integral part of our everyday lives. From autonomous cars to smart electrical grids, such cyber-physical systems will ... -
Static Transformation of Power Consumption for Program Tracing and Software Attestation
(University of Waterloo, 2017-01-12)This thesis presents methods to statically modify programs at compile-time to improve the effectiveness of power consumption based program analyses. Two related applications are considered, and algorithms are introduced ...