SoftSec Lab

Pinned Loading

1. MeanDiff MeanDiff Public

   Testing Intermediate Representations for Binary Analysis (ASE '17)

   F# 82 10

2. CodeAlchemist CodeAlchemist Public

   CodeAlchemist: Semantics-Aware Code Generation to Find Vulnerabilities in JavaScript Engines (NDSS '19)

   F# 243 41

3. Eclipser Eclipser Public

   Grey-box Concolic Testing on Binary Code (ICSE '19)

   F# 155 17

4. NTFuzz NTFuzz Public

   NTFUZZ: Enabling Type-Aware Kernel Fuzzing on Windows with Static Binary Analysis (IEEE S&P '21)

   F# 114 25

5. Smartian Smartian Public

   Smartian: Enhancing Smart Contract Fuzzing with Static and Dynamic Data-Flow Analyses (ASE '21)

   F# 160 27

6. SURI SURI Public

   Towards Sound Reassembly of Modern x86-64 Binaries (ASPLOS'25)

   F# 25 2