Searching for authors named "David Lie" – sorted by Relevance.
14 documents found, showing 1 through 10.
Next 10 →
-
Relaxed determinism: Making redundant execution on multiprocessors practical
- … Kwok Wong David Lie Department of Electrical and Computer Engineering University of Toronto {pool,iansin,lie…
- Cited by 2 (0 self) – Add To MetaCart
-
Splitting Interfaces: Making Trust Between Applications and Operating Systems Configurable
- … Ta-Min Lionel Litty ∗ David Lie Department of Electrical and Computer Engineering University…
- Cited by 15 (1 self) – Add To MetaCart
-
Hypervisor Support for Identifying Covertly Executing Binaries
- …-Cavilla Dept. of Computer Science University of Toronto {llitty,andreslc}@(email omitted); David Lie Dept…
- Cited by 3 (0 self) – Add To MetaCart
-
Separating Protection and Resource Management in Operating Systems
- …Abstract Separating Protection and Resource Management in Operating Systems David Lie Chandramohan…
- Add To MetaCart
-
Specifying and Verifying Hardware for Tamper-Resistant Software
- …Specifying and Verifying Hardware for Tamper-Resistant Software David Lie John Mitchell…
- Cited by 20 (1 self) – Add To MetaCart
-
Implementing an Untrusted Operating System on Trusted Hardware
- … not distribute David Lie Chandramohan A. Thekkath Mark Horowitz Abstract Recently, there has been considerable…
- Cited by 41 (0 self) – Add To MetaCart
-
unknown title
- …Architectural Support for Copy and Tamper Resistant Software ABSTRACT ¡ David Lie Chandramohan…
- Add To MetaCart
-
unknown title
- …Architectural Support for Copy and Tamper Resistant Software ABSTRACT ¡ David Lie Chandramohan…
- Add To MetaCart
-
A Simple Method for Extracting Models from Protocol Code
- …A Simple Method for Extracting Models from Protocol Code David Lie Andy Chou Dawson Engler David L…
- Cited by 18 (5 self) – Add To MetaCart
-
Architectural Support for Copy and Tamper Resistant Software
- …Architectural Support for Copy and Tamper Resistant Software David Lie Chandramohan Thekkath…
- Cited by 149 (5 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
