Browsing Theses by Author "Kauffman, Sean"
Now showing items 1-2 of 2
-
Runtime Monitoring for Uncertain Times
Kauffman, Sean (University of Waterloo, 2021-03-19)In Runtime Verification (RV), monitors check programs for correct operation at execution time. Also called Runtime Monitoring, RV offers advantages over other approaches to program verification. Efficient monitoring is ... -
Static Transformation of Power Consumption for Program Tracing and Software Attestation
Kauffman, Sean (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 ...