Loading...

The Good, the Bad and the Ugly: Pitfalls and Best Practices in Automated Sound Static Analysis of Ethereum Smart Contracts - Clara Schneidewind, Markus Scherer, Matteo Maffei | Arena