Chair for Sys­tems Se­cu­ri­ty

Results 28 repositories owned by Chair for Sys­tems Se­cu­ri­ty

nautilus

161
Stars
20
Forks
Watchers

a grammar based feedback fuzzer

Nyx

179
Stars
20
Forks
Watchers

USENIX 2021 - Nyx: Greybox Hypervisor Fuzzing using Fast Snapshots and Affine Types

nyx-net

170
Stars
22
Forks
Watchers

antifuzz

101
Stars
15
Forks
Watchers

AntiFuzz: Impeding Fuzzing Audits of Binary Executables

cupid

29
Stars
4
Forks
Watchers

Cupid: Automatic Fuzzer Selection for Collaborative Fuzzing

EthBMC

90
Stars
11
Forks
Watchers

The code repository for the 2020 Usenix Security paper "EthBMC: A Bounded Model Checker for Smart Contracts"

EvilCoder

43
Stars
9
Forks
Watchers

Code for the paper EvilCoder: Automated Bug Insertion at ACSAC 2016

gadget_synthesis

54
Stars
6
Forks
Watchers

Esorics 2021 - Towards Automating Code-Reuse Attacks Using Synthesized Gadget Chains

Hypercube

53
Stars
6
Forks
Watchers

NDSS 2020 - HYPER-CUBE: High-Dimensional Hypervisor Fuzzing

JIT-Picker

54
Stars
7
Forks
Watchers