Obsidian: Typestate and Assets for Safer Blockchain Programming
Obsidian: Typestate and Assets for Safer Blockchain Programming
About this item
Full title
Author / Creator
Publisher
New York, NY, USA: ACM
Journal title
Language
English
Formats
Publication information
Publisher
New York, NY, USA: ACM
Subjects
More information
Scope and Contents
Contents
Blockchain platforms are coming into use for processing critical transactions among participants who have not established mutual trust. Many blockchains are programmable, supporting smart contracts, which maintain persistent state and support transactions that transform the state. Unfortunately, bugs in many smart contracts have been exploited by h...
Alternative Titles
Full title
Obsidian: Typestate and Assets for Safer Blockchain Programming
Authors, Artists and Contributors
Identifiers
Primary Identifiers
Record Identifier
TN_cdi_crossref_primary_10_1145_3417516
Permalink
https://devfeature-collection.sl.nsw.gov.au/record/TN_cdi_crossref_primary_10_1145_3417516
Other Identifiers
ISSN
0164-0925
E-ISSN
1558-4593
DOI
10.1145/3417516
