2 papers
cs.CR2023
L4 Pointer: An efficient pointer extension for spatial memory safety support without hardware extension
Seong-Kyun Mok, Eun-Sun Cho
Since buffer overflow has long been a frequently occurring, high-risk vulnerability, various methods have been developed to support spatial memory safety and prevent buffer overflo…
cs.CR2022
SSLEM: A Simplifier for MBA Expressions based on Semi-linear MBA Expressions and Program Synthesis
Seong-Kyun Mok, Seoyeon Kang, Jeongwoo Kim +2
MBA (mixed boolean and arithmetic) expressions are hard to simplify, so used for malware obfuscation to hinder analysts' diagnosis. Some MBA simplification methods with high perfor…