Code for the paper "Defeating Prompt Injections by Design"

Make beautiful isometric infrastructure diagrams

A tool for glamorous shell scripts 🎀

Adversary simulation and Red teaming platform with AI

A practical hacker's guide to the C programming language.

An executable specification language with delightful tooling based on the temporal logic of actions (TLA)

weird ERC721 (NFTs) tokens

OWASP Smart Contract Security (SCS) Project

Conference presentation slides

A curated list of research, articles, tools, and resources focused on attacks against Fully Homomorphic Encryption (FHE)

A curated list of awesome ton security resources

Static smart contract code 4naly3er

This repository contains 47,398 smart contracts extracted from the Ethereum network.

Wake is a Python-based Solidity development and fuzz testing framework with built-in vulnerability detectors for building secure Ethereum dApps.

Pre-built security properties for common Ethereum operations

Documentation for the ENS protocol

This repo contains my pentesting template that I have used in PWK and for current assessments. The template has been formatted to be used in Obsidian

A collection of ctf challenges based on Rareskills educational content

Damn Vulnerable DeFi v4 Solutions

OWASP Smart Contract Securty Verification Standard

Demystifying Exploitable Bugs in Smart Contracts

On-chain test DeFi using Foundry

Foundry Test Suit to test weird ERC20 behavior

easy POC template generation from the command line

Everything there is to know about Flashbots

Get up to speed on Maximum Extractable Value

Awesome list of all things oracle manipulation. Creating to help spread a better understanding of oracles and oracle manipulation.