Chair for Systems Security
Results
28
repositories owned by
Chair for Systems Security
Nyx
179
Stars
20
Forks
Watchers
USENIX 2021 - Nyx: Greybox Hypervisor Fuzzing using Fast Snapshots and Affine Types
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