| 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 | 114 | 2015 |
| 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 | 48 | 2015 |
| 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 | 31 | 2011 |
| 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 | 23 | 2012 |
| Secret forwarding of events over distributed publish/subscribe overlay network Y Yoon, BH Kim Plos one 11 (7), e0158516, 2016 | 10 | 2016 |
| 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 | 8 | 2022 |
| 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 | 7 | 2019 |
| 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 | 5 | 2017 |
| 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 | 2 | 2021 |
| 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 | 1 | 2021 |
| Automated Virtual Machine Replication and Transparent Machine Switch Support for An Individual Personal Computer User BH Kim University of Toronto, 2011 | 1 | 2011 |
| VConMC: Enabling Consistency Verification for Distributed Systems Using Implementation-Level Model Checkers and Consistency Oracles BH Kim Electronics 13 (6), 1153, 2024 | | 2024 |
| 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 |
