Metadata only
Author
Tsankov, Petar
Dan, Andrei
Drachsler-Cohen, Dana
Gervais, Arthur
Bünzli, Florian
Vechev, Martin
Date
2018Type
- Conference Paper
ETH Bibliography
yes
Altmetrics
Publication status
publishedBook title
Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications SecurityPages / Article No.
Publisher
ACMEvent
Subject
Smart contracts; Security analysis; Stratified DatalogOrganisational unit
03948 - Vechev, Martin / Vechev, Martin
More
Show all metadata
ETH Bibliography
yes
Altmetrics