activity
20202025
most citedThe Reversing Machine: Reconstructing Memory Assumptions

1 citations · 1 across the 5 of their papers we have counts for

collaborators

6 papers

cs.CR2025

When Machine Learning Meets Vulnerability Discovery: Challenges and Lessons Learned

Sima Arasteh, Christophe Hauser

In recent years, machine learning has demonstrated impressive results in various fields, including software vulnerability detection. Nonetheless, using machine learning to identify…

cs.CR2025

Data Flows in You: Benchmarking and Improving Static Data-flow Analysis on Binary Executables

Nicolaas Weideman, Sima Arasteh, Mukund Raghothaman +2

Data-flow analysis is a critical component of security research. Theoretically, accurate data-flow analysis in binary executables is an undecidable problem, due to complexities of…

cs.CR2025

BinPool: A Dataset of Vulnerabilities for Binary Security Analysis

Sima Arasteh, Georgios Nikitopoulos, Wei-Cheng Wu +4

The development of machine learning techniques for discovering software vulnerabilities relies fundamentally on the availability of appropriate datasets. The ideal dataset consists…

cs.CR2025

Trim My View: An LLM-Based Code Query System for Module Retrieval in Robotic Firmware

Sima Arasteh, Pegah Jandaghi, Nicolaas Weideman +4

The software compilation process has a tendency to obscure the original design of the system and makes it difficult both to identify individual components and discern their purpose…

cs.CR2024★ 1 cited

The Reversing Machine: Reconstructing Memory Assumptions

Mohammad Sina Karvandi, Soroush Meghdadizanjani, Sima Arasteh +5

Existing anti-malware software and reverse engineering toolkits struggle with stealthy sub-OS rootkits due to limitations of run-time kernel-level monitoring. A malicious kernel-le…

cs.CR2020

Bin2vec: Learning Representations of Binary Executable Programs for Security Tasks

Shushan Arakelyan, Sima Arasteh, Christophe Hauser +2

Tackling binary program analysis problems has traditionally implied manually defining rules and heuristics, a tedious and time-consuming task for human analysts. In order to improv…