Insu Yun
Korea Advanced Institute of Science and Technology(KR)
Publications by Year
Research Areas
Security and Verification in Computing, Advanced Malware Detection Techniques, Software Testing and Debugging Techniques, Web Application Security Vulnerabilities, Software Engineering Research
Most-Cited Works
- QSYM: a practical concolic execution engine tailored for hybrid fuzzing(2018)
- → Kargus(2012)144 cited
- → HDFI: Hardware-Assisted Data-Flow Isolation(2016)115 cited
- → Fuzzing JavaScript Engines with Aspect-preserving Mutation(2020)92 cited
- APISan: Sanitizing {API} Usages through Semantic Cross-Checking(2016)
- → REPT: reverse debugging of failures in deployed software(2018)37 cited
- → BaseSpec: Comparative Analysis of Baseband Software and Cellular Specifications for L3 Protocols(2021)31 cited
- CAB-Fuzz: Practical Concolic Testing Techniques for COTS Operating Systems.(2017)
- AVPASS: Leaking and Bypassing Antivirus Detection Model Automatically(2017)
- → Automatic Techniques to Systematically Discover New Heap Exploitation Primitives(2019)13 cited