Improving server applications with system transactions. - Sangman Kim; Michael Z. Lee; Alan M. Dunn; Owen S. Hofmann; Xuan Wang; Emmett Witchel; Donald E. Porter (EuroSys, 2012)

Eternal Sunshine of the Spotless Machine: Protecting Privacy with Ephemeral Channels. - Alan M. Dunn; Michael Z. Lee; Suman Jana; Sangman Kim; Mark Silberstein; Yuanzhong Xu; Vitaly Shmatikov; Emmett Witchel (OSDI, 2012)

InkTag: secure applications on an untrusted operating system. - Owen S. Hofmann; Sangman Kim; Alan M. Dunn; Michael Z. Lee; Emmett Witchel (ASPLOS, 2013)

Fireaxe: the DHS secure design competition pilot. - Yevgeniy Vorobeychik; Michael Z. Lee; Adam Anderson 002; Mitch Adair; William Atkins; Alan Berryhill; Dominic Chen; Ben Cook; Jeremy Erickson; Steve Hurd; Ron Olsberg; Lyndon Pierson; et al. (CSIIRW, 2013)

Application-Defined Decentralized Access Control. - Yuanzhong Xu; Alan M. Dunn; Owen S. Hofmann; Michael Z. Lee; Syed Akbar Mehdi; Emmett Witchel (USENIX ATC, 2014)

Anon-Pass: Practical Anonymous Subscriptions. - Michael Z. Lee; Alan M. Dunn; Jonathan Katz; Brent Waters; Emmett Witchel (IEEE Secur. Priv., 2014)

Sego: Pervasive Trusted Metadata for Efficiently Verified Untrusted System Services. - Youngjin Kwon; Alan M. Dunn; Michael Z. Lee; Owen S. Hofmann; Yuanzhong Xu; Emmett Witchel (ASPLOS, 2016)