SoftSec Lab

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

Git-based CTF

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

Smartian-nethermind

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

Ankou-Benchmark

MeanDiff-LifterPyVEX

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

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

Smartian-Dirichlet

Dirichlet .NET Number Theory Library