Beom Heyn Kim

13 papers A* 3A 2Journal 5Unranked 2

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Rhea: Detecting Privilege-Escalated Evasive Ransomware Attacks Using Format-Aware Validation in the Cloud. CoRR Beom Heyn Kim, Seok Min Hong, Mohammad Mannan
2024	A*	`conf`	Poster: Detecting Ransomware Attacks by Analyzing Replicated Block Snapshots Using Neural Networks. CCS Seok Min Hong, Beom Heyn Kim, Mohammad Mannan
2022	—	`conf`	Modulo: Finding Convergence Failure Bugs in Distributed Systems with Divergence Resync Models. USENIX ATC Beom Heyn Kim, Taesoo Kim, David Lie
2021	A	`conf`	Rocky: Replicating Block Devices for Tamper and Failure Resistant Edge-based Virtualized Desktop Infrastructure. ACSAC Beom Heyn Kim, Hyoungshick Kim
2020	—	`—`	Detecting Consistency Violations in Distributed Storage Systems. Beom Heyn Kim
2019	J	`jnl`	Secure Consistency Verification for Untrusted Cloud Storage by Public Blockchains. CoRR Kai Li, Yuzhe Richard Tang, Beom Heyn Kim, Jianliang Xu
2017	A	`conf`	Consistency Oracles: Towards an Interactive and Flexible Consistency Model Specification. HotOS Beom Heyn Kim, Sukwon Oh, David Lie
2017	J	`jnl`	The Case for a Single System Image for Personal Devices. CoRR Beom Heyn Kim, Eyal de Lara, David Lie
2017	J	`jnl`	Unity 2.0: Secure and Durable Personal Cloud Storage. CoRR Beom Heyn Kim, Wei Huang, Afshar Ganjali, David Lie
2015	A*	`conf`	Caelus: Verifying the Consistency of Cloud Services with Battery-Powered Devices. IEEE Symposium on Security and Privacy Beom Heyn Kim, David Lie
2015	J	`jnl`	The State of Public Infrastructure-as-a-Service Cloud Security. ACM Comput. Surv. Wei Huang, Afshar Ganjali, Beom Heyn Kim, Sukwon Oh, David Lie
2012	—	`conf`	Unity: secure and durable personal cloud storage. CCSW Beom Heyn Kim, Wei Huang, David Lie
2011	A*	`conf`	Unicorn: two-factor attestation for data security. CCS Mohammad Mannan, Beom Heyn Kim, Afshar Ganjali, David Lie