dh3wr/smashing-smart-contracts

Write-ups on security analysis of Ethereum smart contracts using symbolic execution and constraint solving.

                                                                   OOOOOOOO    
                        O             OO    O       OO             O            
                        OO           OO  O   O    O  OO           OO            
                         O           OO   O   O   O  OO           O            
                         O          OO           O    OO          O             
                         OO         OO          O     OO         OO             
                          O         OO        OO      OO         O              
                          OO         OO     OO       OO         OO              
                            O        OO              OO         O               
                            OOOOOOOO  OO            OO  OOOOOOOO        

Smashing Ethereum Smart Contracts for Fun and Real Profit

Writeups, presentations and supplemental material around smart contract security.

Conference material from HITBSecConf 2018:

• Conference paper
• Presentation video

And the followup from DEF CON 27 (with Daniel Luca):

• Conference paper
• Presentation slides