
aether
AI Smart Contract Security Analysis and PoC Generation Framework

AI Smart Contract Security Analysis and PoC Generation Framework

Open source smart card tools and middleware. PKCS#11/MiniDriver

Bithoven is a smart contract language for composing powerful and secure instruments on Bitcoin. LR(1) parser with static analysis for compile-time…

The goal of Axiom is to provide a completely anonymous, decentralized, and censorship-resistant social media platform. To make this possible, the…

Curated CTF writeup collection for GlacierCTF 2023 covering pwn, rev, web, crypto, and smart contract challenges with solutions and educational…

CTF Cheat Sheet + Writeups / Files for some of the Security CTFs that I've done

Tokend module for OS X with support for all cards supported by OpenSC


Using @charmbracelet to create an Ethereum browser with style

Specifications and open-source platforms for self-sovereign, encrypted real estate data management with blockchain-inspired verification, enabling…