Follow
Beom Heyn Kim
Title
Cited by
Cited by
Year
The state of public infrastructure-as-a-service cloud security
W Huang, A Ganjali, BH Kim, S Oh, D Lie
ACM Computing Surveys (CSUR) 47 (4), 1-31, 2015
1082015
Caelus: Verifying the consistency of cloud services with battery-powered devices
BH Kim, D Lie
2015 IEEE Symposium on Security and Privacy, 880-896, 2015
462015
Unicorn: Two-factor attestation for data security
M Mannan, BH Kim, A Ganjali, D Lie
Proceedings of the 18th ACM conference on Computer and communications …, 2011
312011
Unity: secure and durable personal cloud storage
BH Kim, W Huang, D Lie
Proceedings of the 2012 ACM Workshop on Cloud computing security workshop, 31-36, 2012
202012
Secret forwarding of events over distributed publish/subscribe overlay network
Y Yoon, BH Kim
Plos one 11 (7), e0158516, 2016
102016
Secure consistency verification for untrusted cloud storage by public blockchains
K Li, Y Tang, BH Kim, J Xu
Security and Privacy in Communication Networks: 15th EAI International …, 2019
62019
Consistency oracles: Towards an interactive and flexible consistency model specification
BH Kim, S Oh, D Lie
Proceedings of the 16th Workshop on Hot Topics in Operating Systems, 82-87, 2017
52017
Modulo: Finding Convergence Failure Bugs in Distributed Systems with Divergence Resync Models.
BH Kim, T Kim, D Lie
USENIX Annual Technical Conference, 383-398, 2022
42022
Rocky: Replicating block devices for tamper and failure resistant edge-based virtualized desktop infrastructure
BH Kim, H Kim
Proceedings of the 37th Annual Computer Security Applications Conference …, 2021
12021
Automated Virtual Machine Replication and Transparent Machine Switch Support for An Individual Personal Computer User
BH Kim
University of Toronto, 2011
12011
VConMC: Enabling Consistency Verification for Distributed Systems Using Implementation-Level Model Checkers and Consistency Oracles
BH Kim
Electronics 13 (6), 1153, 2024
2024
Cloud Storage Service Architecture Providing the Eventually Consistent Totally Ordered Commit History of Distributed Key-Value Stores for Data Consistency Verification
BH Kim, Y Yoon
Electronics 10 (21), 2702, 2021
2021
Detecting Consistency Violations in Distributed Storage Systems
BH Kim
University of Toronto (Canada), 2020
2020
The Case for a Single System Image for Personal Devices
BH Kim, E de Lara, D Lie
arXiv preprint arXiv:1710.03789, 2017
2017
The Case for a Single System Image for Personal Devices
B Heyn Kim, E de Lara, D Lie
arXiv e-prints, arXiv: 1710.03789, 2017
2017
Unity 2.0: Secure and Durable Personal Cloud Storage
B Heyn Kim, W Huang, A Ganjali, D Lie
arXiv e-prints, arXiv: 1710.03861, 2017
2017
The system can't perform the operation now. Try again later.
Articles 1–16