Repositories list

• syml

  Public
  Python

  •5•12•1•0•Updated Sep 23, 2024Sep 23, 2024

• crush

  Public
  Python

  •0•3•0•0•Updated Sep 23, 2024Sep 23, 2024

• chainreactor

  Public
  ChainReactor is a research project that leverages AI planning to discover exploitation chains for privilege escalation on Unix systems. The project models the problem as a sequence of actions to achieve privilege escalation from initial access to a target system.

  pythonunixautomation+ 13nixaiplannerexploitplanningpddlexploitation+ 6

  PDDL

  •

  Other

  •0•11•0•0•Updated Sep 19, 2024Sep 19, 2024

• greed

  Public
  A symbolic execution engine for EVM smart contract binaries.

  smart-contractssymbolic-executionbinary-analysis+ 1exploit-development

  Python

  •

  MIT License

  •10•73•7•1•Updated Aug 6, 2024Aug 6, 2024

• GUIDE-ENRICHER

  Public
  Python

  •0•1•0•0•Updated Jul 21, 2024Jul 21, 2024

• default-effect-paper

  Public
  Python

  •0•0•0•0•Updated Jul 20, 2024Jul 20, 2024

• packware

  Public
  Effects of packers on machine-learning-based malware classifiers that use only static analysis

  Python

  •17•82•0•1•Updated Jun 17, 2024Jun 17, 2024

• xplor-cvex

  Public
  Public website and package registry for CVEX exploration with ERSP group 23/24

  ersp-website

  HTML

  •0•0•0•0•Updated Jun 7, 2024Jun 7, 2024

• actor

  Public
  Source code for ACTOR, an action-guided kernel fuzzer (USENIX 2023 paper)

  Go

  •6•28•0•0•Updated May 6, 2024May 6, 2024

• erigon

  Public
  Ethereum implementation on the efficiency frontier

  Go

  •

  GNU Lesser General Public License v3.0

  •1.1k•0•0•0•Updated Apr 10, 2024Apr 10, 2024

• klee

  Public
  KLEE Symbolic Execution Engine

  C++

  •

  Other

  •680•0•0•0•Updated Apr 10, 2024Apr 10, 2024

• diane

  Public
  DiAne is a smart fuzzer for IoT devices

  Python

  •7•38•4•1•Updated Apr 3, 2024Apr 3, 2024

• pretender

  Public
  Automatic modeling of hardware to enable the rehosting of embedded firmware

  C

  •

  Apache License 2.0

  •10•80•2•0•Updated Mar 22, 2024Mar 22, 2024

• jackal

  Public
  Confusum Contractum: Confused Deputy Vulnerabilities in Ethereum Smart Contracts

  Python

  •1•4•0•0•Updated Jan 24, 2024Jan 24, 2024

• shimware

  Public
  Python

  •0•6•0•0•Updated Oct 14, 2023Oct 14, 2023

• goldphish

  Public
  Arbitrage bot for the Ethereum blockchain

  Python

  •10•58•1•0•Updated Oct 4, 2023Oct 4, 2023

• heapster

  Public
  Identify and test the security of dynamic memory allocators in monolithic firmware images

  C

  •4•41•0•0•Updated Sep 2, 2023Sep 2, 2023

• py-evm

  Public
  A Python implementation of the Ethereum Virtual Machine (plus analysis add-ons)

  Python

  •

  MIT License

  •650•2•0•0•Updated Aug 5, 2023Aug 5, 2023

• harden-HBFA

  Public
  HBFA fuzzer fork for the HARDEN project

  C

  •146•0•0•0•Updated Jun 14, 2023Jun 14, 2023

• DeepCASE

  Public
  Python

  •

  MIT License

  •1•3•0•0•Updated Apr 21, 2023Apr 21, 2023

• DeepCASE-Dataset

  Public
  1•5•0•0•Updated Apr 21, 2023Apr 21, 2023

• symbexcel-server

  Public
  Python

  •0•0•0•0•Updated Feb 15, 2023Feb 15, 2023

• columbus

  Public
  Source code for Columbus (ICSE 2023 paper)

  0•3•1•0•Updated Feb 9, 2023Feb 9, 2023

• VenoMave

  Public
  0•2•0•0•Updated Jan 3, 2023Jan 3, 2023

• nft-security-study

  Public
  Code and data of the CCS '22 paper titled "Understanding Security Issues in the NFT Ecosystem"

  1•10•0•0•Updated Dec 20, 2022Dec 20, 2022

• popkorn-artifact

  Public
  Python

  •

  MIT License

  •10•56•1•0•Updated Oct 14, 2022Oct 14, 2022

• cs177-ctfd

  Public
  CTFs as you need them

  Python

  •

  Apache License 2.0

  •2.1k•0•0•0•Updated Sep 23, 2022Sep 23, 2022

• cs177-ctfd-oracle-challenges

  Public
  Plugin for CTFd to manage oracle challenges

  Python

  •0•1•0•0•Updated Sep 10, 2022Sep 10, 2022

• sailfish

  Public
  Data and code for the IEEE S&P'22 paper SAILFISH: Vetting Smart Contract State-Inconsistency Bugs in Seconds

  Python

  •13•50•3•0•Updated Jun 5, 2022Jun 5, 2022

• slither-sailfish

  Public
  Modified Slither for Sailfish

  Python

  •

  GNU Affero General Public License v3.0

  •1•1•0•0•Updated May 31, 2022May 31, 2022