Beom Heyn Kim

According to our database, Beom Heyn Kim authored at least 11 papers between 2011 and 2022.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2022

Modulo: Finding Convergence Failure Bugs in Distributed Systems with Divergence Resync Models.

Beom Heyn Kim, Taesoo Kim, David Lie

Proceedings of the 2022 USENIX Annual Technical Conference, 2022

2021

Rocky: Replicating Block Devices for Tamper and Failure Resistant Edge-based Virtualized Desktop Infrastructure.

Beom Heyn Kim, Hyoungshick Kim

Proceedings of the ACSAC '21: Annual Computer Security Applications Conference, Virtual Event, USA, December 6, 2021

2020

Detecting Consistency Violations in Distributed Storage Systems.

Beom Heyn Kim

PhD thesis, 2020

2019

Secure Consistency Verification for Untrusted Cloud Storage by Public Blockchains.

Kai Li, Yuzhe Richard Tang, Beom Heyn Ben Kim, Jianliang Xu

Proceedings of the Security and Privacy in Communication Networks, 2019

2017

Unity 2.0: Secure and Durable Personal Cloud Storage.

Beom Heyn Kim, Wei Huang, Afshar Ganjali, David Lie

CoRR, 2017

The Case for a Single System Image for Personal Devices.

Beom Heyn Kim, Eyal de Lara, David Lie

CoRR, 2017

Consistency Oracles: Towards an Interactive and Flexible Consistency Model Specification.

Beom Heyn Kim, Sukwon Oh, David Lie

Proceedings of the 16th Workshop on Hot Topics in Operating Systems, 2017

2015

The State of Public Infrastructure-as-a-Service Cloud Security.

Wei Huang, Afshar Ganjali, Beom Heyn Kim, Sukwon Oh, David Lie

ACM Comput. Surv., 2015

Caelus: Verifying the Consistency of Cloud Services with Battery-Powered Devices.

Beom Heyn Kim, David Lie

Proceedings of the 2015 IEEE Symposium on Security and Privacy, 2015

2012

Unity: secure and durable personal cloud storage.

Beom Heyn Kim, Wei Huang, David Lie

Proceedings of the 2012 ACM Workshop on Cloud computing security, 2012

2011

Unicorn: two-factor attestation for data security.

Mohammad Mannan, Beom Heyn Kim, Afshar Ganjali, David Lie

Proceedings of the 18th ACM Conference on Computer and Communications Security, 2011