The Good, The Bad and The Ugly: Pitfalls and Best Practices in Automated Spund Sttic Analysis of Ethereum Smart Contracts

von Schneidewind, Clara
Veröffentlicht in ISoLA (9. : 2020 : Online) Leveraging applications of formal methods, verification and validation ; Part 3: Engineering principles (2020)

ANONYMOUS MULTI-HOP LOCKS FOR BLOCKCHAIN SCALABILITY AND INTEROPERABILITY

von Malavolta, Giulio
Veröffentlicht in Network and Distributed System Security Symposium (26. : 2019 : San Diego, Calif.) Network and Distributed System Security Symposium 2019 ; Volume 2 of 2 (2020)