csinfo/smashing-smart-contracts

A writeup on security analysis of Ethereum smart contracts using symbolic execution and constraint solving.

Smashing Ethereum Smart Contracts for Fun and Real Profit

Writeup, presentation and supplemental materials as presented at HITBSecConf 2018.

• Conference paper
• Presentation video

Contracts

• symvars.sol
• assertions.sol
• uitwerpselentoken.sol
• rubixi.sol
• WalletLibrary.sol
• reentrance.sol

CFGs

• SymVars
• Assertions
• UitwerpselenToken
• CTF

ASCII Paintings

• Ethereum diamond
• PushToZero brand logo
• I accidentally killed it