Beom Heyn Kim
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
5
Active years
2011–2024
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | CCS | Poster: Detecting Ransomware Attacks by Analyzing Replicated Block Snapshots Using Neural Networks. | Seok Min Hong, Beom Heyn Kim, Mohammad Mannan |
| 2022 | USENIX | Modulo: Finding Convergence Failure Bugs in Distributed Systems with Divergence Resync Models. | Beom Heyn Kim, Taesoo Kim, David Lie |
| 2021 | ACSAC | Rocky: Replicating Block Devices for Tamper and Failure Resistant Edge-based Virtualized Desktop Infrastructure. | Beom Heyn Kim, Hyoungshick Kim |
| 2017 | HotOS | Consistency Oracles: Towards an Interactive and Flexible Consistency Model Specification. | Beom Heyn Kim, Sukwon Oh, David Lie |
| 2015 | SP | Caelus: Verifying the Consistency of Cloud Services with Battery-Powered Devices. | Beom Heyn Kim, David Lie |
| 2012 | CCS | Unity: secure and durable personal cloud storage. | Beom Heyn Kim, Wei Huang, David Lie |
| 2011 | CCS | Unicorn: two-factor attestation for data security. | Mohammad Mannan, Beom Heyn Kim, Afshar Ganjali, David Lie |