Repositories list

• hcc

  Public
  HCC: Hardening Contract Compiler for Smart Contracts

  Kotlin

  •0•1•0•0•Updated Dec 18, 2024Dec 18, 2024

• bn-riscv

  Public
  Binary Ninja Plugin for RISC-V

  riscvbinary-ninja-plugin

  Python

  •

  Apache License 2.0

  •6•14•3•0•Updated Nov 29, 2023Nov 29, 2023

• efcf-framework

  Public
  EF/CF - Extremely Fast smart Contract Fuzzing

  Solidity

  •

  Other

  •10•64•1•0•Updated Jul 11, 2023Jul 11, 2023

• efcf-ethmutator

  Public
  Rust

  •

  GNU Affero General Public License v3.0

  •1•1•0•0•Updated Apr 24, 2023Apr 24, 2023

• efcf-AFLplusplus

  Public
  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!

  C

  •

  Apache License 2.0

  •1.1k•0•0•0•Updated Apr 14, 2023Apr 14, 2023

• efcf-evm2cpp

  Public
  Rust

  •

  GNU General Public License v3.0

  •1•4•0•0•Updated Apr 14, 2023Apr 14, 2023

• efcf-eEVM

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

  C++

  •

  MIT License

  •83•0•0•0•Updated Apr 14, 2023Apr 14, 2023

• uni-due-syssec.github.io

  Public
  HTML

  •0•0•0•0•Updated Dec 19, 2022Dec 19, 2022

• sgxfuzz

  Public
  Python

  •4•15•2•0•Updated Aug 22, 2022Aug 22, 2022

• riscyrop

  Public
  0•0•1•0•Updated Aug 12, 2022Aug 12, 2022

• sereum-results

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

  Python

  •4•5•0•0•Updated Jun 15, 2022Jun 15, 2022

• teerex-exploits

  Public
  PoC exploits against various SGX enclaves

  exploitpocsgx+ 1memory-corruption

  Makefile

  •3•15•1•0•Updated May 19, 2022May 19, 2022

• sec-deadlines.github.io

  Public
  Deadline countdowns for academic conferences in Security and Privacy

  HTML

  •239•0•0•0•Updated Mar 18, 2022Mar 18, 2022

• evmpatch-eval-data

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

  Solidity

  •3•13•0•0•Updated May 28, 2021May 28, 2021

• evmpatch-developer-study

  Public
  Solidity

  •3•20•1•0•Updated Oct 2, 2020Oct 2, 2020

• thesis-template

  Public
  LaTeX Template for Bachelor/Master Thesis/Projectreports etc.

  TeX

  •2•6•0•0•Updated Apr 8, 2020Apr 8, 2020

• libvirt-autoballoon

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

  Python

  •

  GNU General Public License v3.0

  •4•0•0•0•Updated Mar 23, 2020Mar 23, 2020

• eth-reentrancy-attack-patterns

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

  JavaScript

  •22•109•0•0•Updated Oct 14, 2019Oct 14, 2019