3 papers
cs.CR2026
Heimdall: Formally Verified Automated Migration of Legacy eBPF Programs to Rust
Vishnu Asutosh Dasu, Monika Santra, Md Rafi Ur Rashid +3
Extended Berkeley Packet Filter (eBPF) programs are kernel extensions used for networking, observability, and security enforcement in the Linux kernel. The in-kernel eBPF verifier…
cs.SE2026
iResolveX: Multi-Layered Indirect Call Resolution via Static Reasoning and Learning-Augmented Refinement
Monika Santra, Bokai Zhang, Mark Lim +3
Indirect call resolution remains a key challenge in reverse engineering and control-flow graph recovery, especially for stripped or optimized binaries. Static analysis is sound but…
cs.CR2025
Disa: Accurate Learning-based Static Disassembly with Attentions
Peicheng Wang, Monika Santra, Mingyu Liu +3
For reverse engineering related security domains, such as vulnerability detection, malware analysis, and binary hardening, disassembly is crucial yet challenging. The fundamental c…