Talks and Poster Presentations (with Proceedings-Entry):
C. Schneidewind, M. Scherer, M. Maffei:
"The Good, the Bad and the Ugly: Pitfalls and Best Practices in Automated Sound Static Analysis of Ethereum Smart Contracts";
accepted as talk for: International Symposium on Leveraging Applications of Formal Methods (ISoLA),
- 2020-10-30; in: "International Symposium On Leveraging Applications of Formal Methods, Verification and Validation",
Created from the Publication Database of the Vienna University of Technology.