Beom Heyn Kim

Publication Activity (10 Years)

Years Active: 2011-2022
Publications (10 Years): 6

Top Topics

Desktop Computers

Tamper Detection

Distributed Systems

Top Venues

IEEE Symposium on Security and Privacy

USENIX Annual Technical Conference

ACM Comput. Surv.

Publications

Beom Heyn Kim, Taesoo Kim, David Lie
Modulo: Finding Convergence Failure Bugs in Distributed Systems with Divergence Resync Models. USENIX Annual Technical Conference (2022)
Beom Heyn Kim, Hyoungshick Kim
Rocky: Replicating Block Devices for Tamper and Failure Resistant Edge-based Virtualized Desktop Infrastructure. ACSAC (2021)
Kai Li, Yuzhe Richard Tang, Beom Heyn Kim, Jianliang Xu
Secure Consistency Verification for Untrusted Cloud Storage by Public Blockchains. CoRR (2019)
Beom Heyn Kim, Wei Huang, Afshar Ganjali, David Lie
Unity 2.0: Secure and Durable Personal Cloud Storage. CoRR (2017)
Beom Heyn Kim, Eyal de Lara, David Lie
The Case for a Single System Image for Personal Devices. CoRR (2017)
Beom Heyn Kim, Sukwon Oh, David Lie
Consistency Oracles: Towards an Interactive and Flexible Consistency Model Specification. HotOS (2017)
Wei Huang, Afshar Ganjali, Beom Heyn Kim, Sukwon Oh, David Lie
The State of Public Infrastructure-as-a-Service Cloud Security. ACM Comput. Surv. 47 (4) (2015)
Beom Heyn Kim, David Lie
Caelus: Verifying the Consistency of Cloud Services with Battery-Powered Devices. IEEE Symposium on Security and Privacy (2015)
Beom Heyn Kim, Wei Huang, David Lie
Unity: secure and durable personal cloud storage. CCSW (2012)
Mohammad Mannan, Beom Heyn Kim, Afshar Ganjali, David Lie
Unicorn: two-factor attestation for data security. CCS (2011)