Pinned Repositories
BinKit
Binary Code Similarity Analysis (BCSA) Benchmark
CodeAlchemist
CodeAlchemist: Semantics-Aware Code Generation to Find Vulnerabilities in JavaScript Engines (NDSS '19)
Eclipser
Grey-box Concolic Testing on Binary Code (ICSE '19)
Fuzzing-Survey
The Art, Science, and Engineering of Fuzzing: A Survey
Fuzzle
Fuzzle: Making a Puzzle for Fuzzers (ASE'22)
IMF
Inferred Model-based Fuzzer
MeanDiff
Testing Intermediate Representations for Binary Analysis (ASE '17)
NTFuzz
NTFUZZ: Enabling Type-Aware Kernel Fuzzing on Windows with Static Binary Analysis (IEEE S&P '21)
Smartian
Smartian: Enhancing Smart Contract Fuzzing with Static and Dynamic Data-Flow Analyses (ASE '21)
TikNib
Binary Code Similarity Analysis (BCSA) Tool
SoftSec Lab's Repositories
SoftSec-KAIST/CodeAlchemist
CodeAlchemist: Semantics-Aware Code Generation to Find Vulnerabilities in JavaScript Engines (NDSS '19)
SoftSec-KAIST/Fuzzing-Survey
The Art, Science, and Engineering of Fuzzing: A Survey
SoftSec-KAIST/Eclipser
Grey-box Concolic Testing on Binary Code (ICSE '19)
SoftSec-KAIST/Smartian
Smartian: Enhancing Smart Contract Fuzzing with Static and Dynamic Data-Flow Analyses (ASE '21)
SoftSec-KAIST/BinKit
Binary Code Similarity Analysis (BCSA) Benchmark
SoftSec-KAIST/TikNib
Binary Code Similarity Analysis (BCSA) Tool
SoftSec-KAIST/IMF
Inferred Model-based Fuzzer
SoftSec-KAIST/NTFuzz
NTFUZZ: Enabling Type-Aware Kernel Fuzzing on Windows with Static Binary Analysis (IEEE S&P '21)
SoftSec-KAIST/MeanDiff
Testing Intermediate Representations for Binary Analysis (ASE '17)
SoftSec-KAIST/GitCTF
Git-based CTF
SoftSec-KAIST/Ankou
Ankou: Guiding Grey-box Fuzzing towards Combinatorial Difference (ICSE '20)
SoftSec-KAIST/Fuzzle
Fuzzle: Making a Puzzle for Fuzzers (ASE'22)
SoftSec-KAIST/Reassessor
Reassembly is Hard: A Reflection on Challenges and Strategies (USENIX Security '23)
SoftSec-KAIST/BotScreen
BotScreen: Trust Everybody, but Cut the Aimbots Yourself (USENIX Security '23)
SoftSec-KAIST/Smartian-Artifact
Artifacts for Smartian, a grey-box fuzzer for Ethereum smart contracts.
SoftSec-KAIST/SURI
Towards Sound Reassembly of Modern x86-64 Binaries (ASPLOS'25)
SoftSec-KAIST/Eclipser-Artifact
Docker image for Eclipser
SoftSec-KAIST/LLM1dFuzz
Systematic Bug Reproduction with Large Language Model (SECAI'24)
SoftSec-KAIST/Fuzzle-artifact
Artifact evaluation repository for Fuzzle
SoftSec-KAIST/Smartian-nethermind
Our flagship .NET Core Ethereum client for Linux, Windows, MacOs - full and actively developed.
SoftSec-KAIST/Ankou-Benchmark
SoftSec-KAIST/MeanDiff-LifterPyVEX
Lift instruction to VEX, using PyVEX, and translate to MeanDiff's UIR
SoftSec-KAIST/MeanDiff-DockerBaseImage
SoftSec-KAIST/MeanDiff-ExternalXED
SoftSec-KAIST/MeanDiff-LifterBAP
Lift instruction to BIL, using BAP, and translate to MeanDiff's UIR
SoftSec-KAIST/MeanDiff-LifterBINSEC
Lift instruction to DBA, using BINSEC, and translate to MeanDiff's UIR
SoftSec-KAIST/Smartian-Dirichlet
Dirichlet .NET Number Theory Library