Securify: Practical security analysis of smart contracts

Metadata only

Author

Tsankov, Petar

Dan, Andrei

Drachsler-Cohen, Dana

Gervais, Arthur

Bünzli, Florian

Vechev, Martin

Date

2018

Type

ETH Bibliography

yes

Altmetrics

Publication status

published

External links

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

More

ETH Bibliography

yes

Altmetrics

Research Collection