Securify: Practical security analysis of smart contracts

Thumbnail
Metadata only
Author
Tsankov, Petar
Dan, Andrei
Drachsler-Cohen, Dana
Gervais, Arthur
Bünzli, Florian
Vechev, Martin
Show all
Date
2018
Type
  • Conference Paper
Publication status
published
External links
Search via SFX
Book title
Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security
Pages / Article No.
67 - 82
Publisher
ACM
Event
25th ACM Conference on Computer and Communications Security (CCS '18), Toronto, Canada, October 15-19, 2018
Subject
Smart contracts; Security analysis; Stratified Datalog
Organisational unit
03948 - Vechev, Martin / Vechev, Martin  
More
Show all metadata
ETH Bibliography
yes
Altmetrics