Pinned Repositories
TDVFuzz
Fork of Linux Security Hardening for Confidential Compute with modifications for TDVF fuzzing
bsod-kernel-fuzzing
BSOD: Binary-only Scalable fuzzing Of device Drivers
ccc-linux-guest-hardening-docs
kafl.symcc
kAFL fork of SymCC. Original project: https://github.com/eurecom-s3/symcc/
mkguest
Create and run simple Linux VMs
packer
QEMU-Nyx
ccc-linux-guest-hardening
Linux Security Hardening for Confidential Compute
kAFL
A fuzzer for full VM kernel/driver targets
PreSiFuzz
Pre-Silicon Hardware Fuzzing Toolkit
il-steffen's Repositories
il-steffen/kafl.symcc
kAFL fork of SymCC. Original project: https://github.com/eurecom-s3/symcc/
il-steffen/QEMU-Nyx
il-steffen/mkguest
Create and run simple Linux VMs
il-steffen/packer
il-steffen/bsod-kernel-fuzzing
BSOD: Binary-only Scalable fuzzing Of device Drivers
il-steffen/ccc-linux-guest-hardening-docs
il-steffen/homepage
il-steffen/hw-fuzzing
il-steffen/kAFL
A fuzzer for full VM kernel/driver targets
il-steffen/kafl.edk2
EDK2 / TDVF branches for kAFL fuzzing research (experimental - do not use!)
il-steffen/kafl.fuzzer
kAFL Fuzzer
il-steffen/kafl.linux
Linux kernel braches for confidential compute research
il-steffen/kafl.qemu
il-steffen/kafl.targets
Target components for kAFL/Nyx Fuzzer
il-steffen/KVM-Nyx
il-steffen/libxdc
The fastest Intel-PT decoder for fuzzing
il-steffen/Nyx
il-steffen/PreSiFuzz
Pre-Silicon Hardware Fuzzing Toolkit
il-steffen/SGX_APP
This repo is used to store application that modified to support SGXSan
il-steffen/spec-fuzzer
il-steffen/symcc
SymCC: efficient compiler-based symbolic execution
il-steffen/syzkaller
syzkaller is an unsupervised coverage-guided kernel fuzzer
il-steffen/tsun-gen3-proxy
This proxy enables a reliable connection between TSUN third generation inverters (eg. TSOL MS600, MS800, MS2000) and an MQTT broker to integrate the inverter into typical home automations.