Explore @SoftSec-KAIST Open Source projects

SoftSec Lab (@SoftSec-KAIST)

SoftSec-KAIST

Stars
1,467
Global Org. Rank 11,809 (Top 4 %)
Registered almost 8 years ago
Most used languages

Python
30.4 %

F#
21.7 %

Shell
17.4 %

C
8.7 %

OCaml
8.7 %

Solidity
4.3 %

Go
4.3 %

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

F#
1

Solidity
13

OCaml
21

Shell
21

Go
56

JavaScript
89

Python
166

C
593

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

TikNib

Binary Code Similarity Analysis (BCSA) Tool

IMF

Inferred Model-based Fuzzer

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)

BotScreen

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

Smartian-Artifact

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

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

LLM1dFuzz

Systematic Bug Reproduction with Large Language Model (SECAI'24)

MeanDiff-ExternalXED

MeanDiff-LifterBAP

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

MeanDiff-DockerBaseImage