Explore @SoftSec-KAIST Open Source projects

SoftSec Lab (@SoftSec-KAIST)

SoftSec-KAIST

Stars
1,397
Global Org. Rank 11,989 (Top 4 %)
Registered over 7 years ago
Most used languages

Python
31.8 %

F#
22.7 %

Shell
13.6 %

C
9.1 %

OCaml
9.1 %

Solidity
4.5 %

Go
4.5 %

JavaScript
4.5 %
Location 🇰🇷 South Korea
Country Total Rank 191
Country Ranking

F#
1

Solidity
13

OCaml
21

Shell
22

Go
52

JavaScript
96

Python
164

C
687

CodeAlchemist

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

Fuzzing-Survey

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

Eclipser

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

Smartian

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

BinKit

Binary Code Similarity Analysis (BCSA) Benchmark

IMF

Inferred Model-based Fuzzer

TikNib

Binary Code Similarity Analysis (BCSA) Tool

NTFuzz

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

MeanDiff

Testing Intermediate Representations for Binary Analysis (ASE '17)

GitCTF

Ankou

Ankou: Guiding Grey-box Fuzzing towards Combinatorial Difference (ICSE '20)

Fuzzle

Fuzzle: Making a Puzzle for Fuzzers (ASE'22)

Reassessor

Reassembly is Hard: A Reflection on Challenges and Strategies (USENIX Security '23)

Smartian-Artifact

Artifacts for Smartian, a grey-box fuzzer for Ethereum smart contracts.

BotScreen

BotScreen: Trust Everybody, but Cut the Aimbots Yourself (USENIX Security '23)

Eclipser-Artifact

Docker image for Eclipser

Fuzzle-artifact

Artifact evaluation repository for Fuzzle

MeanDiff-LifterPyVEX

Lift instruction to VEX, using PyVEX, and translate to MeanDiff's UIR

Ankou-Benchmark

MeanDiff-LifterBINSEC

Lift instruction to DBA, using BINSEC, and translate to MeanDiff's UIR

MeanDiff-ExternalXED

MeanDiff-LifterBAP

Lift instruction to BIL, using BAP, and translate to MeanDiff's UIR

MeanDiff-DockerBaseImage