Insu Yun

Orcid: 0000-0001-8931-2833

According to our database1, Insu Yun authored at least 19 papers between 2012 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Automated Attack Synthesis for Constant Product Market Makers.
CoRR, 2024

2023
Scalable and Secure Virtualization of HSM With ScaleTrust.
IEEE/ACM Trans. Netw., August, 2023

BASECOMP: A Comparative Analysis for Integrity Protection in Cellular Baseband Software.
Proceedings of the 32nd USENIX Security Symposium, 2023

QueryX: Symbolic Query on Decompiled Code for Finding Bugs in COTS Binaries.
Proceedings of the 44th IEEE Symposium on Security and Privacy, 2023

2022
DoLTEst: In-depth Downlink Negative Testing Framework for LTE Devices.
Proceedings of the 31st USENIX Security Symposium, 2022

Fuzzing@Home: Distributed Fuzzing on Untrusted Heterogeneous Clients.
Proceedings of the 25th International Symposium on Research in Attacks, 2022

2021
Concolic Execution Tailored for Hybrid Fuzzing.
PhD thesis, 2021

Preventing Use-After-Free Attacks with Fast Forward Allocation.
Proceedings of the 30th USENIX Security Symposium, 2021

BaseSpec: Comparative Analysis of Baseband Software and Cellular Specifications for L3 Protocols.
Proceedings of the 28th Annual Network and Distributed System Security Symposium, 2021

HardsHeap: A Universal and Extensible Framework for Evaluating Secure Allocators.
Proceedings of the CCS '21: 2021 ACM SIGSAC Conference on Computer and Communications Security, Virtual Event, Republic of Korea, November 15, 2021

2020
Automatic Techniques to Systematically Discover New Heap Exploitation Primitives.
Proceedings of the 29th USENIX Security Symposium, 2020

Fuzzing JavaScript Engines with Aspect-preserving Mutation.
Proceedings of the 2020 IEEE Symposium on Security and Privacy, 2020

2018
QSYM : A Practical Concolic Execution Engine Tailored for Hybrid Fuzzing.
Proceedings of the 27th USENIX Security Symposium, 2018

REPT: Reverse Debugging of Failures in Deployed Software.
Proceedings of the 13th USENIX Symposium on Operating Systems Design and Implementation, 2018

2017
CAB-Fuzz: Practical Concolic Testing Techniques for COTS Operating Systems.
Proceedings of the 2017 USENIX Annual Technical Conference, 2017

2016
APISan: Sanitizing API Usages through Semantic Cross-Checking.
Proceedings of the 25th USENIX Security Symposium, 2016

HDFI: Hardware-Assisted Data-Flow Isolation.
Proceedings of the IEEE Symposium on Security and Privacy, 2016

2014
Analyzing Security of Korean USIM-Based PKI Certificate Service.
Proceedings of the Information Security Applications - 15th International Workshop, 2014

2012
Kargus: a highly-scalable software-based intrusion detection system.
Proceedings of the ACM Conference on Computer and Communications Security, 2012


  Loading...