Overview

I am an Assistant Professor in the Department of Computer Science and Engineering at Hanyang University ERICA campus. I received my B.Sc., M.S., and Ph.D. from the Department of Computer Science at the University of Toronto.

I am leading Critical System Lab (CSL) at Hanyang University ERICA. My research interest is in improving security and reliability of various critical systems. These days, there are many computer systems we use everyday which would cause significant damages if they failed. Therefore, it is increasingly important to make those critical systems more secure and reliable. One example for Security is detecting malicious behaviors of untrusted components and offering infrastructural supports to recover damages caused by adversaries. On the Reliability side, concurrency bugs occurred in multi-threaded applications or distributed systems are considered as one of most paramount problems which can be solved by applying formal methods and program analysis techniques in a novel way. These are just a few examples.

I enjoy building novel prototype systems or tools and thoroughly evaluate those via empirical studies. In addition, I like to solve challenging but practical problems. Also, I have been presenting at top conferences and collaborating with top researchers. If you want to work with me, see below for prospective students and open positions

Selected Publications

  1. Beom Heyn Kim, Taesoo Kim and David Lie. Modulo: Finding Convergence Failure Bugs in Distributed Systems with Divergence Resync Models. In Proceedings of the 2022 Annual Conference on USENIX Annual Technical Conference (ATC), 2022.
  2. Beom Heyn Kim and Hyoungshick Kim. Rocky: Replicating Block Devices for Tamper and Failure Resistant Edge-based Virtualized Desktop Infrastructure. In Proceedings of Proceedings of the 37th Annual Computer Security Applications Conference (ACSAC), 2021.
  3. Beom Heyn Kim and David Lie. Caelus: Verifying the Consistency of Cloud Services with Battery-Powered Devices. In Proceedings of the 2015 IEEE Symposium on Security and Privacy (Oakland 2015). May 2015.
  4. Mohammad Mannan, Beom Heyn Kim, Afshar Ganjali and David Lie. Unicorn: Two-Factor Attestation for Data Security. 18th ACM Conference on Computer and Communications Security (CCS 2011). October 2011.

More complete publication list can be found at my Google Scholar Profile here

Prospective Students and Open Positions

Research stream Masters and PhD students: I am always looking for graduate students who are interested in improving critical systems. Required background is solid understanding of operating systems and computer systems, with practical experience writing and implementing software. Security background is desirable but not required.

If you are interested in joining my group, read my publications first. If you are still interested in joining my group after reading my research papers, write me an email with the following information:
(1) Short biography about yourself
(2) Your interest and motivation (why do you want to join my group? what do you want to achieve or what is your goal after graduation? what can you provide for the group? what do you want to work on?)
(3) C.V. or resume
(4) (unofficial/official) transcript with course titles on it; minimum CGPA: 3.75/4.5 or scale it
(5) something demonstrating your technical experience and skills (e.g., github)

NOTE: My group does not have an opening for non-research stream graduate students at the moment

Undergraduate Students: I am looking for strong undergraduate students who are interested in joining my group as a research stream graduate student in the future. You should successfully do the followings:
(1) Take classes I teach and do those well: Database in the 2nd semester of the 2nd year and Advanced Database in the 1st semester of the 3rd year.
(2) Successfully complete a capstone project under my supervision in the 2nd semester of the 3rd year and the 1st semester of the 4th year.
(3) Join as a research intern starting in the following Summer vacation

NOTE: My lab does not offer "Computer Science Lab Practice."

Teaching

For Spring 2024:
  • SCS3001: Advanced Database
For Fall 2023:
  • CSE3010 (section 1): Database
  • CSE3010 (section 2): Database
For Spring 2023:
  • SCS3001: Advanced Database
  • AIC6010: Healthcare Information Security
For Fall 2022:
  • CSE3010 (section 1): Database
  • CSE3010 (section 2): Database