eThor: Practical and Provably Sound Static Analysis of Ethereum Smart Contracts - CCS 2020
The Good, The Bad and The Ugly: Pitfalls and Best Practices in Automated Sound Static Analysis of Ethereum Smart Contracts - ISoLA 2020
Language Based Web Session Integrity - CSF 2020