42
Publications
3.4K
Citations
23
H-Index
2000
Active since
David Lie is an author at University of Toronto specializing in computer science, engineering, and software analysis.
Top concepts
EngineeringComputer ScienceData SecuritySoftware AnalysisInformation SecurityComputer EngineeringSystem SoftwareProgram AnalysisHardware SecurityFormal Verification
Publications per year
2000–2021
42
42
Kathy Wain Yee Au, Yi Zhou, Zhen Huang et al. · 2012 · 631 citations
Lucas Bourtoule, Varun Chandrasekaran, Christopher A. Choquette-Choo et al. · 2021 · 507 citations
Hypervisor support for identifying covertly executing binaries
Lionel Litty, H. Andrés Lagar-Cavilla, David Lie · 2008 · 202 citations
Rows per page
1–5 of 42