UDE Secure Software System Research Group

eth-reentrancy-attack-patterns

Re-entrancy attack patterns from our paper "Sereum: Protecting Existing Smart Contracts Against Re-Entrancy Attacks"

efcf-framework

EF/CF - Extremely Fast smart Contract Fuzzing

evmpatch-developer-study

teerex-exploits

PoC exploits against various SGX enclaves

sgxfuzz

bn-riscv

Binary Ninja Plugin for RISC-V

evmpatch-eval-data

Evaluation Results for the Paper "EVMPatch: Timely and Automated Patching of Ethereum Smart Contracts"

thesis-template

LaTeX Template for Bachelor/Master Thesis/Projectreports etc.

sereum-results

Raw Data from Evaluation of Sereum Re-Entrancy Detection (NDSS19)

efcf-evm2cpp

efcf-ethmutator

riscyrop

uni-due-syssec.github.io

efcf-AFLplusplus

The fuzzer afl++ is afl with community patches, qemu 5.1 upgrade, collision-free coverage, enhanced laf-intel & redqueen, AFLfast++ power schedules, MOpt mutators, unicorn_mode, and a lot more!

efcf-eEVM

Enclave ready EVM (eEVM) is an open-source, standalone, embeddable, C++ implementation of the Ethereum Virtual Machine.

libvirt-autoballoon

libvirt-autoballoon: daemon to autoballoon guest memory by virsh on host with libvirt

sec-deadlines.github.io

Deadline countdowns for academic conferences in Security and Privacy