Computer Science · Physical Sciences
12h-index1.0kcitations12works0.02yr avg
Accepting Students?
No reports yet. Know if this professor is taking students?
Research Topics
Security and Verification in Computing(10), Advanced Malware Detection Techniques(7), Distributed systems and fault tolerance(3), Parallel Computing and Optimization Techniques(2), Diamond and Carbon-based Materials Research(2)
Publications12 total
ACM Computing Surveys·2016· 85 cited
Instant OS updates via userspace checkpoint-and-restart
USENIX Annual Technical Conference·2016· 17 cited
2016· 115 cited
2016· 17 cited
2016· 108 citedOpen Access
2015· 137 cited
2015· 95 cited
Type casting verification: stopping an emerging attack vector
2015· 41 cited
Frequent Co-authors
Taesoo Kim(10), Wenke Lee(8), Chengyu Song(7), Kangjie Lu(3), Ming-Wei Shih(2), Yeongjin Jang(2), Tielei Wang(2), Long Lu(2), Changwoo Min(2), Sanidhya Kashyap(2), Xinyu Xing(2), Wei Meng(2), Jaebaek Seo(1), Seong-Min Kim(1), Insik Shin(1), Dongsu Han(1), Simon P. Chung(1), Hyungon Moon(1), Monjur Alam(1), Insu Yun(1)