SoftSec Lab

icon indicating a website link http://softsec.kaist.ac.kr/

icon location Daejeon, Korea icon location SoftSec Lab @ KAIST

Results 13 repositories owned by SoftSec Lab

Eclipser

147
Stars
16
Forks
Watchers

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

verified publisher icon SoftSec-KAIST

IMF

107
Stars
25
Forks
Watchers

Inferred Model-based Fuzzer

verified publisher icon SoftSec-KAIST

CodeAlchemist

233
Stars
41
Forks
Watchers

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

verified publisher icon SoftSec-KAIST

Fuzzing-Survey

185
Stars
21
Forks
Watchers

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

verified publisher icon SoftSec-KAIST

GitCTF

59
Stars
10
Forks
Watchers

Git-based CTF

verified publisher icon SoftSec-KAIST

MeanDiff

77
Stars
11
Forks
Watchers

Testing Intermediate Representations for Binary Analysis (ASE '17)

verified publisher icon SoftSec-KAIST

BinKit

123
Stars
21
Forks
Watchers

Binary Code Similarity Analysis (BCSA) Benchmark

verified publisher icon SoftSec-KAIST

Smartian

132
Stars
21
Forks
Watchers

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

verified publisher icon SoftSec-KAIST

Ankou

55
Stars
12
Forks
Watchers

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

verified publisher icon SoftSec-KAIST

TikNib

108
Stars
22
Forks
Watchers

Binary Code Similarity Analysis (BCSA) Tool

verified publisher icon SoftSec-KAIST