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
 

Publications Publikationen

Results 1-1 of 1 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Schneidewind, Clara ; Grishchenko, Ilya ; Scherer, Markus ; Maffei, Matteo eThor: Practical and Provably Sound Static Analysis of Ethereum Smart ContractsKonferenzbeitrag Inproceedings 2020