Lok K. Yan

Publication Activity (10 Years)

Years Active: 2012-2020
Publications (10 Years): 6

Top Topics

High Frequencies

Hardware Designs

Formal Specification

Security Issues

Top Venues

Int. J. Secur. Softw. Eng.

CSET @ USENIX Security Symposium

Publications

Chutitep Woralert, James Bruska, Chen Liu, Lok K. Yan
High Frequency Performance Monitoring via Architectural Event Measurement. IISWC (2020)
Adam Seitz, Adam Satar, Brian Burke, Lok K. Yan, Zachary Estrada
CAERUS: Chronoscopic Assessment Engine for Recovering Undocumented Specifications. CSET @ USENIX Security Symposium (2019)
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, Clark Wood
BP: DECREE: A Platform for Repeatable and Reproducible Security Experiments. SecDev (2018)
Zachary John Estrada, Read Sprabery, Lok K. Yan, Zhongzhi Yu, Roy H. Campbell, Zbigniew T. Kalbarczyk, Ravishankar K. Iyer
Using OS Design Patterns to Provide Reliability and Security as-a-Service for VM-based Clouds. VEE (2017)
Zachary Estrada, Cuong Manh Pham, Fei Deng, Lok K. Yan, Zbigniew T. Kalbarczyk, Ravishankar K. Iyer
Dynamic VM Dependability Monitoring Using Hypervisor Probes. EDCC (2015)
Jinpeng Wei, Lok K. Yan, Muhammad Azizul Hakim
MOSE: Live Migration Based On-the-Fly Software Emulation. ACSAC (2015)
Yujian Fu, Jeffery Kulick, Lok K. Yan, Steven Drager
Formal Modeling and Verification of Security Property in Handel C Program. Int. J. Secur. Softw. Eng. 3 (3) (2012)