Posts tagged pakala
Analyzing suspicious smart contract vacuuming
- 18 February 2019
This is the counterpart of Blockchain Autopsies - Analyzing Ethereum Smart Contract Deaths, looking at suspicious patterns in the history of Ethereum, where contracts would not be killed but simply emptied by attackers.
How to steal Ethers: scanning for vulnerable contracts
- 05 December 2018
Four years ago, I wrote an article “How to steal Bitcoins” that was about finding address corresponding to weak brainwallets, and some forensic evidence that it was exploited automatically, for profit.
Pakala: yet another EVM symbolic execution tool
- 04 December 2018
Pakala is a tool for symbolic execution of EVM bytecode (like Manticore or Mythril).