Formal Modeling and Verification of Security Property in Handel C Program. - Yujian Fu; Jeffery Kulick; Lok K. Yan; Steven Drager 001 (Int. J. Secur. Softw. Eng., 2012)

MOSE: Live Migration Based On-the-Fly Software Emulation. - Jinpeng Wei; Lok K. Yan; Muhammad Azizul Hakim (ACSAC, 2015)

Dynamic VM Dependability Monitoring Using Hypervisor Probes. - Zachary Estrada; Cuong Manh Pham; Fei Deng; Lok K. Yan; Zbigniew T. Kalbarczyk; Ravishankar K. Iyer (EDCC, 2015)

Using OS Design Patterns to Provide Reliability and Security as-a-Service for VM-based Clouds. - Zachary John Estrada; Read Sprabery; Lok K. Yan; Zhongzhi Yu; Roy H. Campbell; Zbigniew T. Kalbarczyk; Ravishankar K. Iyer (VEE, 2017)

BP: DECREE: A Platform for Repeatable and Reproducible Security Experiments. - Lok K. Yan; Benjamin Price; Michael Zhivich; Brian Caswell; Christopher Eagle; Michael Frantzen; Holt Sorenson; Michael Thompson; Timothy Vidas; Jason Wright; Vernon Rivet; Samuel Colt VanWinkle; et al. (SecDev, 2018)

CAERUS: Chronoscopic Assessment Engine for Recovering Undocumented Specifications. - Adam Seitz; Adam Satar; Brian Burke; Lok K. Yan; Zachary Estrada (CSET @ USENIX Security Symposium, 2019)

High Frequency Performance Monitoring via Architectural Event Measurement. - Chutitep Woralert; James Bruska; Chen Liu 001; Lok K. Yan (IISWC, 2020)