Modulo: Finding Convergence Failure Bugs in Distributed Systems with Divergence Resync Models
Beom Heyn Kim, Taesoo Kim, David Lie
Proceedings of the 2022 Annual Conference on USENIX Annual Technical Conference (ATC), 2022
2
Rocky: Replicating Block Devices for Tamper and Failure Resistant Edge-based Virtualized Desktop Infrastructure
Beom Heyn Kim, Hyoungshick Kim
Proceedings of Proceedings of the 37th Annual Computer Security Applications Conference (ACSAC), 2021
3
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 (Oakland 2015), 2015
4
Unicorn: Two-Factor Attestation for Data Security
Mohammad Mannan, Beom Heyn Kim, Afshar Ganjali, David Lie
18th ACM Conference on Computer and Communications Security (CCS 2011), 2011
5
Detecting Ransomware Attacks by Analyzing Replicated Block Snapshots Using Neural Networks
김범현
ACM Conference on Computer and Communications Security, 2024
6
VConMC: Enabling Consistency Verification for Distributed Systems Using Implementation-Level Model Checkers and Consistency Oracles
김범현
ELECTRONICS, 2024
7
Cloud Storage Service Architecture Providing the Eventually Consistent Totally Ordered Commit History of Distributed Key-Value Stores for Data Consistency Verification