https://ensue.dev/
KLEE Symbolic Execution Engine
C++ wrapper around KLEE and AFL for intelligent, coverage guided fuzzing. Developed while doing research at MWR Infosecurity
LLVM pass that obfuscates against symbolic execution
Write Up Material For A Pwn/Web Challenge From Hacklu 2017
Mina is a cryptocurrency protocol with a constant size blockchain, improving scaling while maintaining decentralization and security.
The proof systems used by Mina