A Semantic Framework for the Security Analysis of Ethereum Smart Contracts (English)
Free access
- New search for: Grishchenko, Ilya
- New search for: Maffei, Matteo
- New search for: Schneidewind, Clara
- New search for: Grishchenko, Ilya
- New search for: Maffei, Matteo
- New search for: Schneidewind, Clara
In:
Principles of Security and Trust
3
;
243-269
;
2018
- Article/Chapter (Book) / Electronic Resource
-
Title:A Semantic Framework for the Security Analysis of Ethereum Smart Contracts
-
Contributors:
-
Published in:Principles of Security and Trust , 3 ; 243-269Security and Cryptology ; 10804, 3 ; 243-269
-
Publisher:
- New search for: Springer International Publishing
-
Place of publication:Cham
-
Publication date:2018-01-01
-
Size:27 pages
-
ISSN:
-
DOI:
-
Type of media:Article/Chapter (Book)
-
Type of material:Electronic Resource
-
Language:English
-
Keywords:
-
Source: