The State of Public Infrastructure-as-a-Service Cloud Security. - Wei Huang 027; Afshar Ganjali; Beom Heyn Kim; Sukwon Oh; David Lie (ACM Comput. Surv., 2015)

Consistency Oracles: Towards an Interactive and Flexible Consistency Model Specification. - Beom Heyn Kim; Sukwon Oh; David Lie (HotOS, 2017)