There are no reviews yet. Be the first to send feedback to the community and the maintainers!
retrowrite
RetroWrite -- Retrofitting compiler passes through binary rewritingprintbf
Brainfuck interpreter inside printfFuzzGen
magma
A ground-truth fuzzing benchmark suite based on real programs with real bugs.T-Fuzz
BOPC
Block Oriented Programming -- Compilerthesis_template
Template for EPFL (BSc, MSc, or doctoral) theses and semester projectsFuZZan
FuZZan: Efficient Sanitizer Metadata Design for FuzzingmalWASH
datAFLow
A data-flow-guided fuzzerUSBFuzz
A Framework for fuzzing USB Drivers by Device EmulationHexType
HexType: Efficient Detection of Type Confusion Errors for C++FishFuzz
AFL/AFL++ version FishFuzzFirmFuzz
Automated IoT firmware fuzzing framework.SMoTherSpectre
Proof-of-concept code for the SMoTherSpectre exploit.Igor
Gramatron
Coverage-guided grammar aware fuzzer that uses grammar automatonslibdetox
Fast and efficient binary translatorEvocatio
memTrace
memTrace, a framework for lightweight memory tracingfuzzing-seed-selection
"Seed Selection for Successful Fuzzing" artifact (at ISSTA 2021)HexPADS
HexPADS, a host-based, Performance-counter-based Attack Detection SystemShadowStack
LLVM Implementation of different ShadowStack schemes for x86_64RetroWrite-Tutorial
GLeeFuzz
EPOXY
Root Repo for the EPOXY tool that applies Privilege Overlays on bare-metal systemsOSTEP-slides
ViDeZZo
ViDeZZo source code.scudo-exploitation
CFIXX
SieveFuzz
Optimizing Directed Fuzzing via Target-tailored Program State Restrictionpubstats
teezz-fuzzer
mitiGate
Benchmark to test different stop the exploit mitigationsHyperPill
datashield
HexVASAN
AutoBib
AutoBib: create beautiful bib files and html publication pages automagicallyTango
Tango: Extracting Higher-Order Feedback through State InferenceGlobalConfusion
TrustZone Trusted Application 0-Days by Designspecrop
Code repository for experiments in SpecROP paperWarpAttack
hexhive.github.io
HexHive homepagenesCheck
SyzRisk
Official repository of SyzRisk [ASIA CCS'24]Crystallizer
A hybrid analysis framework to aid in uncovering deserialization vulnerabilitiesretrowrite-dev
Retrowrite Development (Internal) RepositorySURGEON
Performant, flexible, and accurate re-hosting via transplantationEL3XIR
Fuzzing Secure Monitor Implementationsdis-cover
Disassemble binaries and recover as much info as possiblespecrop-public
Code repository for experiments in SpecROP papermidas
Systematic Kernel TOCTTOU ProtectionIOVFI
An accurate and resilient semantic function identifiersimple_attacks
A set of simple buggy programs with corresponding exploits and simple shellcodespill_the_tea
halucinator-tutorial
Tutorial for HALucinatorteezz-ca-driver
CUP
teezz-caid
TEEzz's Client Application IdentificationEPOXY-clang
Fork of Clang used to create EPOXYadaptSTM
adaptSTM, a competitive, word-based STM library that is based on a global clock and an array of combined global versions (timestamps) and locks.GAENScan
dis-cover-packages-analysis
Debian C++ packages analysis with the dis-cover toolteezz-fuzzing-engine
BLURtooth
WOOT21
teezz-introspection
seccell-seL4
The seL4 microkernelse-valgrind
dimva24
dibartolomeo-msthesis
Luca Di Bartolomeo's master thesissecurity-group.epfl.ch
teezz-adb
Python adb wrapper.seccell-riscv-binutils-gdb
seccell-riscv-gnu-toolchain
GNU toolchain for RISC-V, including GCCAncile
securecells
SecureCells website repositoryIgor-evaluations
seccell-seL4_libseccells
Userspace library for SecCells-specific functionalityseccell-opensbi
seccell-sel4-playground
A project based on the seL4 microkernel to implement and test new functionality based on the SecCells architectureseccell-qemu
seccell-memcache
In-memory cachevirtfuzz-bugs
seccell-browser
JournalBot
seccell-archtests
Testing basic architectural functionality for SecureCellsLove Open Source and this site? Check out how you can help us