Securify: Practical security analysis of smart contracts - Research Collection

Metadata only

Author

Drachsler-Cohen, Dana

Gervais, Arthur

Bünzli, Florian

Date

2018

Type

Conference Paper

Citations

Cited 283 times in Web of Science

Cited 407 times in Scopus

ETH Bibliography

yes

Altmetrics

Publication status

published

External links

https://doi.org/10.1145/3243734.3243780

Book title

Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security

Pages / Article No.

67 - 82

Publisher

Association for Computing Machinery

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

Citations

Cited 283 times in Web of Science

Cited 407 times in Scopus

ETH Bibliography

yes

Altmetrics