SoftSec Lab

SoftSec Lab @ KAIST

PinnedLoading

MeanDiffMeanDiffPublic
Testing Intermediate Representations for Binary Analysis (ASE '17)
F# 81 11
CodeAlchemistCodeAlchemistPublic
CodeAlchemist: Semantics-Aware Code Generation to Find Vulnerabilities in JavaScript Engines (NDSS '19)
F# 239 42
EclipserEclipserPublic
Grey-box Concolic Testing on Binary Code (ICSE '19)
F# 153 16
NTFuzzNTFuzzPublic
NTFUZZ: Enabling Type-Aware Kernel Fuzzing on Windows with Static Binary Analysis (IEEE S&P '21)
F# 101 23
SmartianSmartianPublic
Smartian: Enhancing Smart Contract Fuzzing with Static and Dynamic Data-Flow Analyses (ASE '21)
F# 150 23
FuzzleFuzzlePublic
Fuzzle: Making a Puzzle for Fuzzers (ASE'22)
Python 45 9

Repositories

Showing 10 of 27 repositories

Fuzzing-Survey Public
The Art, Science, and Engineering of Fuzzing: A Survey
SoftSec-KAIST/Fuzzing-Survey’s past year of commit activity
JavaScript 219GPL-3.0 25 1 1 UpdatedMar 10, 2025
SURI Public
Towards Sound Reassembly of Modern x86-64 Binaries (ASPLOS'25)
SoftSec-KAIST/SURI’s past year of commit activity
F# 60 0 0 UpdatedFeb 7, 2025
Reassessor Public
Reassembly is Hard: A Reflection on Challenges and Strategies (USENIX Security '23)
SoftSec-KAIST/Reassessor’s past year of commit activity
Python 32MIT 1 0 0 UpdatedJan 27, 2025
Smartian-Artifact Public
Artifacts for Smartian, a grey-box fuzzer for Ethereum smart contracts.
SoftSec-KAIST/Smartian-Artifact’s past year of commit activity
Solidity 13MIT 9 1 0 UpdatedJan 27, 2025
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# 150MIT 23 5 1 UpdatedJan 25, 2025
LLM1dFuzz Public
Systematic Bug Reproduction with Large Language Model (SECAI'24)
SoftSec-KAIST/LLM1dFuzz’s past year of commit activity
Shell 4 3 0 0 UpdatedAug 26, 2024
Smartian-nethermind Public Forked fromNethermindEth/nethermind
Our flagship .NET Core Ethereum client for Linux, Windows, MacOs - full and actively developed.
SoftSec-KAIST/Smartian-nethermind’s past year of commit activity
C# 3 530 0 0 UpdatedMay 6, 2024
Smartian-Dirichlet Public Forked fromNethermindEth/Dirichlet
Dirichlet .NET Number Theory Library
SoftSec-KAIST/Smartian-Dirichlet’s past year of commit activity
C# 1 7 0 0 UpdatedMar 15, 2024
Fuzzle Public
Fuzzle: Making a Puzzle for Fuzzers (ASE'22)
SoftSec-KAIST/Fuzzle’s past year of commit activity
Python 45MIT 9 0 0 UpdatedMar 3, 2024
BinKit Public
Binary Code Similarity Analysis (BCSA) Benchmark
SoftSec-KAIST/BinKit’s past year of commit activity
Shell 147MIT 25 3 0 UpdatedDec 15, 2023