Lie, David - Department of Electrical and Computer Engineering, University of Toronto

Advanced Search

Lie, David - Department of Electrical and Computer Engineering, University of Toronto

Kivati: Fast Detection and Prevention of Atomicity Violations Lee Chew David Lie
Security Benchmarking using Partial Verification Thomas E. Hart, Marsha Chechik
Comparative Performance of Memory Reclamation Strategies for Lock-free and Concurrently-readable Data
Splitting Interfaces: Making Trust Between Applications and Operating Systems Configurable
Kernel Support for Redundant Execution on Multiprocessor Systems
A Simple Method for Extracting Models from Protocol Code David Lie Andy Chou Dawson Engler David L. Dill
ARCHITECTURAL SUPPORT FOR COPY AND TAMPER-RESISTANT SOFTWARE
Kernel Support for Deterministic Redundant Execution of Shared Memory Workloads on Multiprocessor Systems
Splitting Interfaces: Making Trust Between Applications and Operating Systems Configurable
Using Hypervisors to Secure Commodity Operating University of Toronto
Augmenting Counterexample-Guided Abstraction Refinement with Proof Templates
Augmenting Counterexample-Guided Abstraction Refinement with Proof Templates
Hypervisor Support for Identifying Covertly Executing Binaries Lionel Litty H. Andres Lagar-Cavilla
Susceptibility of Commodity Systems and Software to Memory Soft Errors
AUTOMATICALLY IDENTIFYING CONFIGURATION FILES A thesis submitted in conformity with the requirements
A System for Detecting, Preventing and Exposing Atomicity Violations in Multithreaded Programs
DREM: ARCHITECTURAL SUPPORT FOR DETERMINISTIC REDUNDANT EXECUTION OF
PTYASM: Software Model Checking with Proof Templates
Dude, where's that IP? Circumventing measurement-based IP geolocation Phillipa Gill Yashar Ganjali
Mercury: Recovering Forgotten Passwords Using Personal Devices
Architectural Introspection and Applications Lionel Litty
Patch Auditing in Infrastructure as a Service Clouds Lionel Litty
Quantifying the Strength of Security Systems Department of Electrical and Computer Engineering
Implementing an Untrusted Operating System on Trusted Dept. of Comp. and Elec. Eng.
Computer Meteorology: Monitoring Compute Clouds Lionel Litty H. Andres Lagar-Cavilla
JVM Susceptibility to Memory Errors Deqing Chen
Relaxed Determinism: Making Redundant Execution on Multiprocessors Practical
Using VMM-Based Sensors to Monitor Honeypots Kurniadi Asrigo Lionel Litty David Lie
Specifying and Verifying Hardware for Tamper-Resistant Software David Lie John Mitchell Chandramohan A. Thekkath
A Buffer Overflow Benchmark for Software Model Checkers (Short Paper)
Hypervisor-based Intrusion Detection Lionel Litty
Manitou: A Layer-Below Approach to Fighting Malware Lionel Litty
Short Paper: A Look at SmartPhone Permission Models Kathy Au, Billy Zhou, Zhen Huang, Phillipa Gill and David Lie
Unicorn: Two-Factor Attestation for Data Security Mohammad Mannan
Automated Virtual Machine Replication and Transparent Machine Switch Support for An Individual Personal