Carson's starred repositories
awesome-piracy
A curated list of awesome warez and piracy links
Awesome-Networking
A curated list of awesome networking libraries, resources and shiny things
not-so-smart-contracts
Examples of Solidity security issues
evm-opcodes
Ethereum opcodes and instruction reference
llvm-mctoll
llvm-mctoll
Simpleator
Simpleator ("Simple-ator") is an innovative Windows-centric x64 user-mode application emulator that leverages several new features that were added in Windows 10 Spring Update (1803), also called "Redstone 4", with additional improvements that were made in Windows 10 October Update (1809), aka "Redstone 5".
ethereum-formal-verification-overview
The start page about my efforts around smart contract verification
malware-s2e
Code for my blog post on using S2E for malware analysis