softsec-kaist Goto Github PK

ankou

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

ankou-benchmark

binkit

Binary Code Similarity Analysis (BCSA) Benchmark

botscreen

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

codealchemist

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

eclipser

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

eclipser-artifact

Docker image for Eclipser

fuzzing-survey

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

fuzzle

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

fuzzle-artifact

Artifact evaluation repository for Fuzzle

gitctf

Git-based CTF

imf

Inferred Model-based Fuzzer

meandiff

Testing Intermediate Representations for Binary Analysis (ASE '17)

meandiff-dockerbaseimage

meandiff-externalxed

meandiff-lifterbap

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

meandiff-lifterbinsec

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

meandiff-lifterpyvex

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

ntfuzz

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

reassessor

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

smartian

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

smartian-artifact

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

smartian-dirichlet

Dirichlet .NET Number Theory Library

smartian-nethermind

Our flagship .NET Core Ethereum client for Linux, Windows, MacOs - full and actively developed.

tiknib

Binary Code Similarity Analysis (BCSA) Tool