Browsing Theses by Subject "dynamic analysis"
Now showing items 1-2 of 2
-
Enforcing Abstract Immutability
(University of Waterloo, 2018-08-01)Researchers have recently proposed a number of systems for expressing, verifying, and inferring immutability declarations. These systems are often rigid, and do not support "abstract immutability". An abstractly immutable ... -
Security and Privacy Analysis of Employee Monitoring Applications
(University of Waterloo, 2023-08-21)Workplace surveillance is not a new issue; however, recently there has been increasing adoption of Employee Monitoring Applications (EMAs) that observe employees' digital behaviour. This trend was advanced by the increase ...