Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Insu Yun
conf.researchr.org general profile
ICFP/SPLASH 2025 profile
ISSTA 2025 profile
Not registered as user
Name:
Insu Yun
Affiliation:
KAIST
Contributions
2025
SPLASH
Author of Bridging the Gap between Real-World and Formal Binary Lifting through Filtered-Simulation within the OOPSLA-track
ISSTA
Author of Automated Attack Synthesis for Constant Product Market Makers within the Research Papers-track
Share
x
Tue 23 Sep 15:16