Securify: Practical security analysis of smart contracts - Research Collection

Metadata only

Author

Tsankov, Petar

Dan, Andrei

Drachsler-Cohen, Dana

Gervais, Arthur

Bünzli, Florian

Vechev, Martin

Date

2018

Type

Conference Paper

Citations

Cited 0 times in Web of Science

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

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

Citations

Cited 0 times in Web of Science

ETH Bibliography

yes

Altmetrics