Metadata only
Author
Show all
Date
2018Type
- Conference Paper
Citations
Cited 283 times in
Web of Science
Cited 407 times in
Scopus
ETH Bibliography
yes
Altmetrics
Publication status
publishedExternal links
Book title
Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications SecurityPages / Article No.
Publisher
Association for Computing MachineryEvent
Subject
Smart contracts; Security analysis; Stratified DatalogOrganisational unit
03948 - Vechev, Martin / Vechev, Martin
More
Show all metadata
Citations
Cited 283 times in
Web of Science
Cited 407 times in
Scopus
ETH Bibliography
yes
Altmetrics