Browsing University of Waterloo by Supervisor "Fischmeister, Sebastian"
Now showing items 21-33 of 33
-
Securing Vehicular Networks: A Rules-Based CAN Intrusion Detection System Using IoT Edge Architecture
(University of Waterloo, 2024-01-17)The increasing interconnectivity of modern safety-critical embedded systems has led to an ever-increasing attack surface. The automotive and maritime industries are but two industries that use safety-critical embedded ... -
Security and Interpretability in Automotive Systems
(University of Waterloo, 2022-04-06)Controller area network (CAN) is the most commonly found bus protocol in automotive systems. The two-wire bus protocol helps accomplish sophisticated vehicle services in real-time through complex interactions between ... -
Signal Processing for Trace-based Anomaly Detection in Embedded Software
(University of Waterloo, 2016-01-21)Embedded operating systems generate a log of operating system function calls which we refer to as traces. Trace-based anomaly detection deals with the problem of determining whether or not an instance of traces represents ... -
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 ... -
Statistical Variability Analysis of SilGeo
(University of Waterloo, 2023-12-18)The electronics manufacturing and supply industry is rife with the unchecked circulation of counterfeit and tampered components. Although developments have been made to counter this issue, the methods often involve visual ... -
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 ...