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),
Rhodes;
2020-10-20
- 2020-10-30; in: "International Symposium On Leveraging Applications of Formal Methods, Verification and Validation",
Springer,
7609
(2020),
ISBN: 978-3-642-34025-3.
Created from the Publication Database of the Vienna University of Technology.