Travelled to:1 × Italy
4 × USA
Collaborated with:T.E.Hart K.Ku M.Chechik C.A.Thekkath M.Horowitz A.Gurfinkel R.Ta-Min L.Litty M.Mitchell P.Lincoln D.Boneh J.C.Mitchell
Talks about:softwar (3) templat (2) system (2) trust (2) proof (2) model (2) oper (2) counterexampl (1) architectur (1) implement (1)
Person: David Lie
DBLP: Lie:David
Contributed to:
20082007
2006
2003
2000Wrote 6 papers:
- ASE-2008-HartKGCL #abstraction #proving #refinement
- Augmenting Counterexample-Guided Abstraction Refinement with Proof Templates (TEH, KK, AG, MC, DL), pp. 387–390.
- ASE-2008-HartKGCL08a #model checking #named #proving
- PtYasm: Software Model Checking with Proof Templates (TEH, KK, AG, MC, DL), pp. 479–480.
- ASE-2007-KuHCL #benchmark #metric #model checking
- A buffer overflow benchmark for software model checkers (KK, TEH, MC, DL), pp. 389–392.
- OSDI-2006-Ta-MinLL #configuration management #interface #operating system #trust
- Splitting Interfaces: Making Trust Between Applications and Operating Systems Configurable (RTM, LL, DL), pp. 279–292.
- SOSP-2003-LieTH #hardware #implementation #operating system
- Implementing an untrusted operating system on trusted hardware (DL, CAT, MH), pp. 178–192.
- ASPLOS-2000-LieTMLBMH #architecture
- Architectural Support for Copy and Tamper Resistant Software (DL, CAT, MM, PL, DB, JCM, MH), pp. 168–177.