Skip to Main Content

Beom Heyn Kim

Image of Boem Jason
Beom Heyn KimAssistant Teaching Professor
  • College
    College of Sciences
  • Department
    Computer Science
  • Phone
    (978) 934-6125
  • Office
    Olsen Hall - 3rd Floor
  • Email

Research Interests

Security, Cloud Computing, Mobile Computing, Pervasive Computing, Reliability, Model Checking, Software Testing, Virtualization


  • Ph D: Computer Science, (2018), University of Toronto - Toronto, ON, Canada
    Dissertation/Thesis Title: Verifying Distributed Storage Systems for Secure and Reliable Application of Consistency Models
  • MS: Computer Science, (2011), University of Toronto - Toronto, ON, Canada
    Dissertation/Thesis Title: Automated Virtual Machine Replication and Transparent Machine Switch Sup- port for An Individual Personal Computer User
  • BS: Computer Science, (2009), University of Toronto - Toronto, ON, Canada
    Supporting Area: Mathematics

Selected Awards and Honors

  • Ontario Graduate Scholarship (2017), Scholarship/Research
  • Bell Graduate Scholarship (2016), Scholarship/Research
  • Doctoral Completion Award (2015)
  • Bell Graduate Scholarship (2012), Scholarship/Research
  • NSERC Undergraduate Student Research Award (2009), Scholarship/Research

Selected Publications

  • Kim, B., Oh, S., Lie, D. (2017). Consistency Oracles: Towards an Interactive and Flexible Consistency Model Specification. Proceedings of the 16th Workshop on Hot Topics in Operating Systems (HotOS)
  • Kim, B., Lara, E.d., Lie, D. (2017). The Case for a Single System Image for Personal Devices. arXiv:1710.03789.
  • Kim, B., Huang, W., Ganjali, A., Lie, D. (2017). Unity 2.0: Secure and Durable Personal Cloud Storage. arXiv:1710.03861
  • Yoon, Y., Kim, B. (2016). Secret Forwarding of Events over Distributed Publish/Subscribe Overlay Network. PLOS ONE, 11(7) e0158516.
  • Huang, W., Ganjali, A., Kim, B., Oh, S., Lie, D. (2015). The State of Public Infrastructure-as-a-Service Cloud Security. ACM Computing Surveys, 47(4) 1-31.
  • Kim, B.H., Lie, D. (2015). Caelus: Verifying the Consistency of Cloud Services with Battery-Powered Devices. IEEE
  • Kim, B., Huang, W., Lie, D. (2012). Unity: Secure and Durable Personal Cloud Storage. ACM Press
  • Mannan, M., Kim, B., Ganjali, A., Lie, D. (2011). Unicorn: Two-Factor Attestation for Data Security. ACM Press

Selected Contracts, Fellowships, Grants and Sponsored Research

  • SGS Travel Grant (2015), Grant -
    Kim, B.

Research Currently in Progress

  • Consistency Oracles

    Nov 2014 - Present; There have been various consistency models designed and studied by researchers. Some of them are adapted by the industry and there are several cloud services using them. The eventual and strong consistency models are the most famous ones that are being used in practice. However, there are various intermediate consistency models such as Monotonic Reads, Consistent Prefix, Bounded Staleness, Read My Writes, etc. Even compositions of them can be employed in some specific usage scenarios. Providing the ground truth for these consistency models can greatly help both system developers and application developers. We design and implement the prototype consistency oracle that can produce the answer containing all valid values to read with respect to the given arbitrary consistency model. This oracle can be integrated with model checkers as the invariant checker to find software bugs.
    Kim, B.