Proceedings of the 2020 ACM SIGSAC Conference on Computer and Communications Security
Book title Buchtitel
Proceedings of the 2020 ACM SIGSAC Conference on Computer and Communications Security
Publisher Herausgeber
Association for Computing Machinery ACM
Results 1-1 of 1 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Schneidewind, Clara ; Grishchenko, Ilya ; Scherer, Markus ; Maffei, Matteo | eThor: Practical and Provably Sound Static Analysis of Ethereum Smart Contracts | Konferenzbeitrag Inproceedings  | 2020 |