Imperial College London
Alternate

Emeritus ProfessorSusanEisenbach

Faculty of Engineering, Department of Computing

Emeritus Professor of Computing
 
 
 
//

Contact

 

s.eisenbach Website

 
 
//

Location

 

Huxley BuildingSouth Kensington Campus

//

Summary

 

Publications

Citation

BibTex format

@unpublished{Schrans:2019,
author = {Schrans, F and Hails, D and Harkness, A and Drossopoulou, S and Eisenbach, S},
publisher = {arXiv},
title = {Flint for safer smart contracts},
url = {http://arxiv.org/abs/1904.06534v1},
year = {2019}
}
Download

RIS format (EndNote, RefMan)

TY  - UNPB
AB  - The Ethereum blockchain platform supports the execution of decentralisedapplications or smart contracts. These typically hold and transfer digitalcurrency to other parties on the platform; however, they have been subject tonumerous attacks due to the unintentional introduction of bugs. Over a billiondollars worth of currency has been stolen since its release in July 2015. Assmart contracts cannot be updated after deployment, it is imperative that theprogramming language supports the development of robust contracts.  We propose Flint, a new statically-typed programming language specificallydesigned for writing robust smart contracts. Flint's features enforce thewriting of safe and predictable code. To encourage good practices, we introduceprotection blocks. Protection blocks restrict who can run code and when (usingtypestate) it can be executed. To prevent vulnerabilities relating to theunintentional loss of currency, Flint Asset traits provide safe atomicoperations, ensuring the state of contracts is always consistent. Writes tostate are restricted, simplifying reasoning about smart contracts.
AU  - Schrans,F
AU  - Hails,D
AU  - Harkness,A
AU  - Drossopoulou,S
AU  - Eisenbach,S
PB  - arXiv
PY  - 2019///
TI  - Flint for safer smart contracts
UR  - http://arxiv.org/abs/1904.06534v1
UR  - http://hdl.handle.net/10044/1/74713
ER  -
Download