Need help with smashing-smart-contracts?
Click the “chat” button below for chat support from the developer who created it, or find similar developers for support.

About the developer

b-mueller
135 Stars 14 Forks 41 Commits 2 Opened issues

Description

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

Services available

!
?

Need anything else?

Contributors list

No Data

                                                                   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:

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

We use cookies. If you continue to browse the site, you agree to the use of cookies. For more information on our use of cookies please see our Privacy Policy.