Hakjoo Oh

Hakjoo Oh

Korea University - Seoul / South Korea
Engineering & Technology / Computer Science
AD Scientific Index ID: 349103
고려대학교
person_outline Hakjoo Oh's MOST POPULAR ARTICLES
1-) Vuddy: A scalable approach for vulnerable code clone discoveryS Kim, S Woo, H Lee, H Oh2017 IEEE Symposium on Security and Privacy (SP), 595-614, 20172302017
2-) Verismart: A highly precise safety verifier for ethereum smart contractsS So, M Lee, J Park, H Lee, H Oh2020 IEEE Symposium on Security and Privacy (SP), 1678-1694, 20201352020
3-) Design and implementation of sparse global analyses for C-like languagesH Oh, K Heo, W Lee, W Lee, K YiProceedings of the 33rd ACM SIGPLAN conference on Programming Language …, 20121332012
4-) Selective context-sensitivity guided by impact pre-analysisH Oh, W Lee, K Heo, H Yang, K YiProceedings of the 35th ACM SIGPLAN Conference on Programming Language …, 20141062014
5-) {SmarTest}: Effectively hunting vulnerable transaction sequences in smart contracts through language {Model-Guided} symbolic executionS So, S Hong, H Oh30th USENIX Security Symposium (USENIX Security 21), 1361-1378, 2021922021