Unicorn: two-factor attestation for data security. - Mohammad Mannan; Beom Heyn Kim; Afshar Ganjali; David Lie (CCS, 2011)

Unity: secure and durable personal cloud storage. - Beom Heyn Kim; Wei Huang 027; David Lie (CCSW, 2012)

Caelus: Verifying the Consistency of Cloud Services with Battery-Powered Devices. - Beom Heyn Kim; David Lie (IEEE Symposium on Security and Privacy, 2015)

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)

The Case for a Single System Image for Personal Devices. - Beom Heyn Kim; Eyal de Lara; David Lie (CoRR, 2017)

Unity 2.0: Secure and Durable Personal Cloud Storage. - Beom Heyn Kim; Wei Huang 027; Afshar Ganjali; David Lie (CoRR, 2017)

Secure Consistency Verification for Untrusted Cloud Storage by Public Blockchains. - Kai Li 017; Yuzhe Richard Tang; Beom Heyn Ben Kim; Jianliang Xu (SecureComm (1), 2019)

Detecting Consistency Violations in Distributed Storage Systems. - Beom Heyn Kim (2020)

Rocky: Replicating Block Devices for Tamper and Failure Resistant Edge-based Virtualized Desktop Infrastructure. - Beom Heyn Kim; Hyoungshick Kim (ACSAC, 2021)

Modulo: Finding Convergence Failure Bugs in Distributed Systems with Divergence Resync Models. - Beom Heyn Kim; Taesoo Kim; David Lie (USENIX ATC, 2022)

Poster: Detecting Ransomware Attacks by Analyzing Replicated Block Snapshots Using Neural Networks. - Seok Min Hong; Beom Heyn Kim; Mohammad Mannan (CCS, 2024)