Browsing University of Waterloo by Supervisor "Fischmeister, Sebastian"
Now showing items 21-29 of 29
-
SilGeo: A Method for the Detection of Counterfeit, Compromised, or Tampered Electronic Devices
(University of Waterloo, 2022-08-26)Modern technological devices, ranging from the pedestrian smartphone to the highly specialized pacemaker, are increasingly dependent on miniaturized electronic components, such as integrated circuits, to accomplish their ... -
Software Approaches to Manage Resource Tradeoffs of Power and Energy Constrained Applications
(University of Waterloo, 2018-01-02)Power and energy efficiency have become an increasingly important design metric for a wide spectrum of computing devices. Battery efficiency, which requires a mixture of energy and power efficiency, is exceedingly important ... -
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 ... -
Stochastic Hybrid Model Predictive Control using Gaussian Processes for Systems with Piecewise Residual Dynamics
(University of Waterloo, 2023-08-17)Data-driven control methods have been used to provide performance and safety benefits for systems where lower fidelity nominal dynamics models are insufficient when operating systems at their limits. These methods typically ... -
A Study of Linux Perf and Slab Allocation Sub-Systems
(University of Waterloo, 2016-01-21)Today, modern processors are equipped with a special unit named PMU that enables software developers to gain access to micro-architectural level information such as CPU cycles count and executed instructions count. The PMU ... -
A Study of the Power Trace Sampling Frequency Requirements in Non-Intrusive Program Tracing Through Power Consumption Monitoring
(University of Waterloo, 2018-09-05)In embedded systems, anomalies can be detected by monitoring the power consumption of the device. Recent literature has shown the use of this technique for the purpose of safety as well as security. However, on-the-fly ... -
A Study on the Acceleration of Arrival Curve Construction and Regular Specification Mining using GPUs
(University of Waterloo, 2018-12-21)Data analytics is a process of examining datasets using various analytical and statistical techniques. Several tools have been proposed in the literature to extract hidden patterns, gather insights and build mathematical ... -
Time-Aware Dynamic Binary Instrumentation
(University of Waterloo, 2017-08-23)The complexity of modern software systems has been rapidly increasing. Program debugging and testing are essential to ensure the correctness of such systems. Program analysis is critical for understanding system’s behavior ... -
vProfile: Voltage-Based Sender Identification on Controller Area Networks
(University of Waterloo, 2021-08-25)Modern vehicles are becoming more accessible targets for cyberattacks due to the proliferation of wireless communication channels. The intra-vehicle Controller Area Network (CAN) bus lacks sender authentication, exposing ...