Open research on finite observer-consistency in physics: Lean-checked theorems and lemmas, reproducible simulations, explicit countermodels, and clearly tracked open physical bridges.

A DSL for generating optimal EVM bytecode

Polkadot ink! fuzzer

PoC for CVE-2023-36802 Microsoft Kernel Streaming Service Proxy

A binary lifter and analysis framework for Ethereum smart contracts

Heimdall is an advanced EVM smart contract toolkit specializing in bytecode analysis and extracting information from unverified contracts.

PoW blockchain node to gain hands-on experience starting a real network together

🚀 Try the Learn EVM Explorer we just launched!!!

Reproduce DeFi hacked incidents using Foundry.

A library to generate LaTeX expression from Python code.

Insecure Programming by Example - Teach yourself how buffer overflows, format strings, numeric bugs, and other binary security bugs work and how to exploit them

BinAbsInspector: Vulnerability Scanner for Binaries

Semgrep rules for smart contracts based on DeFi exploits

A curated list of awesome StarkNet resources, libraries, tools and more

Everything there is to know about Flashbots

Library to emulate the Sneakers movie effect

funky fun fuzzer

A list of public penetration test reports published by several consulting firms and academic security groups.

To make fuzzing Rust easy

Symbolic execution of LLVM IR with an engine written in Rust

Mutation Testing for Ethereum Smart Contracts

CVE-2019-5700

Solidity crypto libraries, ring signatures, proof of knowledge, packed signatures etc. with matching Python implementations for secp256k1 and (alt)BN-256

Tools for the Fibocom L850-GL / Intel XMM7360 LTE modem

Offensive vulnerability scanner for ethereum, and symbolic execution tool for the Ethereum Virtual Machine

Scripts and cheatsheets for IDAPython

XSS payloads designed to turn alert(1) into P1