#
Lists (1)
Starred repositories
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)
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
This repository contains 47,398 smart contracts extracted from the Ethereum network.
Wake is a Python-based Solidity development and testing framework with built-in vulnerability detectors
Pre-built security properties for common Ethereum operations
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
Foundry Test Suit to test weird ERC20 behavior
deliriusz / turbopoc
Forked from zobront/quickpoceasy POC template generation from the command line
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.
Heuristics for smart contract auditors
A curated list of Zero Knowledge links, mostly focusing on blockchain.