Repositories list

• CVEX

  Public
  CVEX is a framework for the reproducible exploitation of CVE vulnerabilities

  Python

  •7•1•9•1•Updated Jan 10, 2025Jan 10, 2025

• greed

  Public
  A symbolic execution engine for EVM smart contract binaries.

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

  Python

  •

  MIT License

  •14•92•6•1•Updated Jan 8, 2025Jan 8, 2025

• DeepCapa

  Public
  Automatically recognizing Mitre Att&ck Techniques in Windows Malware

  Python

  •0•0•0•0•Updated Dec 13, 2024Dec 13, 2024

• CVEX-records

  Public
  CVEX Records

  Python

  •32•1•0•12•Updated Dec 7, 2024Dec 7, 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•39•1•0•Updated Nov 3, 2024Nov 3, 2024

• klee

  Public
  KLEE Symbolic Execution Engine

  C++

  •

  Other

  •682•0•0•0•Updated Oct 30, 2024Oct 30, 2024

• xplor-cvex

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

  ersp-website

  HTML

  •0•0•0•0•Updated Oct 16, 2024Oct 16, 2024

• syml

  Public
  Python

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

• crush

  Public
  Python

  •0•7•0•0•Updated Sep 23, 2024Sep 23, 2024

• ictf-docs

  Public
  Comprehensive documentation on iCTF

  JavaScript

  •0•0•0•0•Updated Aug 26, 2024Aug 26, 2024

• GUIDE-ENRICHER

  Public
  Python

  •0•3•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

  •18•84•0•1•Updated Jun 17, 2024Jun 17, 2024

• actor

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

  Go

  •7•30•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.2k•0•0•0•Updated Apr 10, 2024Apr 10, 2024

• diane

  Public
  DiAne is a smart fuzzer for IoT devices

  Python

  •8•40•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•82•2•0•Updated Mar 22, 2024Mar 22, 2024

• jackal

  Public
  Confusum Contractum: Confused Deputy Vulnerabilities in Ethereum Smart Contracts

  Python

  •1•7•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

  •12•65•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•43•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

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

• harden-HBFA

  Public
  HBFA fuzzer fork for the HARDEN project

  C

  •145•1•0•0•Updated Jun 14, 2023Jun 14, 2023

• DeepCASE

  Public
  Python

  •

  MIT License

  •1•4•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•62•1•0•Updated Oct 14, 2022Oct 14, 2022