Hakjoo Oh

Korea University - Seoul / South Korea

Engineering & Technology / Computer Science

AD Scientific Index ID: 349103

고려대학교

Registration, Add Profile,
Premium Membership

Print Your Certificate

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 …, 20141072014

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, 2021982021

ARTICLES

Add your articles