4 papers
SafeTrans: LLM-assisted Transpilation from C to Rust
Muhammad Farrukh, Baris Coskun, Tapti Palit +1
Rust is a strong contender for a memory-safe alternative to C as a "systems" language, but porting the vast amount of existing C code to Rust remains daunting. In this paper, we ev…
ORBIT: Guided Agentic Orchestration for Autonomous C-to-Rust Transpilation
Muhammad Farrukh, Baris Coskun, Tapti Palit +1
Large-scale migration of legacy C code to Rust offers a promising path toward improving memory safety, but LLM-based C-to-Rust translation remains challenging due to limited contex…
Fool Me If You Can: On the Robustness of Binary Code Similarity Detection Models against Semantics-preserving Transformations
Jiyong Uhm, Minseok Kim, Michalis Polychronakis +1
Binary code analysis plays an essential role in cybersecurity, facilitating reverse engineering to reveal the inner workings of programs in the absence of source code. Traditional…
PhaseSeed: Precise Call Graph Construction for Split-Phase Applications using Dynamic Seeding
Tapti Palit, Seyedhamed Ghavamnia, Michalis Polychronakis
Precise and sound call graph construction is crucial for many software security mechanisms. Unfortunately, traditional static pointer analysis techniques used to generate applicati…