Skip to content
@SoftSec-KAIST

SoftSec Lab

SoftSec Lab @ KAIST

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

Repositories

Showing 10 of 33 repositories
  • BinForge Public
    SoftSec-KAIST/BinForge's past year of commit activity
    Python 0 0 0 0 Updated Oct 20, 2026
  • SatFuzz Public

    LLM-Assisted Command Syntax Extraction for Flight Software Fuzzing (WISA'26)

    SoftSec-KAIST/SatFuzz's past year of commit activity
    Python 3 1 0 0 Updated Aug 12, 2026
  • Fuzzing-Survey Public

    The Art, Science, and Engineering of Fuzzing: A Survey

    SoftSec-KAIST/Fuzzing-Survey's past year of commit activity
    JavaScript 231 GPL-3.0 24 1 2 Updated Aug 11, 2026
  • Benford-criterion-artifact Public

    Practical Fuzzing Saturation Detection with Benford's Law (WISA'26)

    SoftSec-KAIST/Benford-criterion-artifact's past year of commit activity
    C 0 0 0 0 Updated Aug 11, 2026
  • AsFuzzer Public

    AsFuzzer: Differential Testing of Assemblers with Error-Driven Grammar Inference (ISSTA'24)

    SoftSec-KAIST/AsFuzzer's past year of commit activity
    Python 2 0 0 0 Updated Jun 2, 2026
  • Smartian Public

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

    SoftSec-KAIST/Smartian's past year of commit activity
    F# 160 MIT 27 5 1 Updated Mar 18, 2026
  • EVMpress-artifact Public
    SoftSec-KAIST/EVMpress-artifact's past year of commit activity
    Python 3 0 0 0 Updated Sep 29, 2025
  • EVMpress Public
    SoftSec-KAIST/EVMpress's past year of commit activity
    F# 5 1 1 0 Updated Sep 29, 2025
  • TikNib Public

    Binary Code Similarity Analysis (BCSA) Tool

    SoftSec-KAIST/TikNib's past year of commit activity
    Python 125 MIT 25 3 0 Updated May 18, 2025
  • SURI Public

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

    SoftSec-KAIST/SURI's past year of commit activity
    F# 25 2 0 0 Updated Apr 1, 2025
View all repositories

Top languages

Loading…

Most used topics

Loading…