I am an assistant professor in the department of Computer Science and Engineering at UC Riverside.
I earned by Ph.D. in Computer Science from Georgia Tech.
I was fortunate to be supervised by professor Wenke Lee
and Taesoo Kim.
My research interests include system security, program analysis and verification, and operating systems.
Currenly I'm focusing on two areas: eliminating memory corruption vulnerabilities from commodity OS kernels
and designing more effective access control mechanisms.
To prospective students:
I'm looking for motivated students who share my academic interests and have a solid background in computer systems and/or security.
If you are interested, I look forward to hearing from you!
- UniSan: Proactive Kernel Memory Initialization to Eliminate Data Leakages
Kangjie Lu, Chengyu Song, Taesoo Kim, and Wenke Lee
In Proceedings of the 23rd ACM Conference on Computer and Communications Security (CCS'16),
Vienna, Austria, October 2016.
- HDFI: Hardware-Assisted Data-flow Isolation
Chengyu Song, Hyungon Moon, Monjur Alam, Insu Yun, Byoungyoung Lee, Taesoo Kim, Wenke Lee, and Yunheung Paek
In Proceedings of the 37th IEEE Symposium on Security and Privacy (Oakland'16),
San Jose, CA, May 2016.
- Enforcing Kernel Security Invariants with Data Flow Integrity
Chengyu Song, Byoungyoung Lee, Kangjie Lu, William R. Harris, Taesoo Kim, and Wenke Lee
In Proceedings of the 2016 Network and Distributed System Security Symposium (NDSS'16),
San Diego, CA, Feburary 2016.
- Cross-checking Semantic Correctness: The Case of Finding File System Bugs
Changwoo Min, Sanidhya Kashyap, Byoungyoung Lee, Chengyu Song, and Taesoo Kim
In Proceedings of the 25th ACM Symposium on Operating Systems Principles (SOSP'15),
Monterey, CA, October 2015.
- Type Casting Verification: Stopping an Emerging Attack Vector
Byoungyoung Lee, Chengyu Song, Taesoo Kim, and Wenke Lee
In Proceedings of the 24th USENIX Security Symposium (Security'15),
Washington, D.C., August 2015.
( 2015 Internet Defense Prize )