• DOI:10.4230/OASIcs.PLATEAU.2019.2
Corpus ID: 208815481

A Pilot Study of the Safety and Usability of the Obsidian Blockchain Programming Language

@inproceedings{Kambhatla2019APS,
  title={A Pilot Study of the Safety and Usability of the Obsidian Blockchain Programming Language},
  author={Gauri Kambhatla and Michael J. Coblenz and R. Oei and J. Sunshine and J. Aldrich and B. Myers},
  booktitle={PLATEAU@UIST},
  year={2019}
}

Gauri Kambhatla, Michael J. Coblenz, +3 authors B. Myers

Published in PLATEAU@UIST 2019

Computer Science

Although blockchains have been proposed for building systems that execute critical transactions, security vulnerabilities have plagued programs that are deployed on blockchain systems. The programming language Obsidian was developed with the purpose of statically preventing some of the more common of these security risks, specifically the loss of resources and improper manipulation of objects. The question then is whether Obsidian’s novel features impact the usability of the language. In this… CONTINUE READING

View via Publisher

drops.dagstuhl.de

Save to Library

Create Alert

Cite

Launch Research Feed