A Semantic Framework for the Security Analysis of Ethereum Smart Contracts

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Principles of Security and Trust Jg. 10804
Format: Buchkapitel
Sprache:Englisch
Veröffentlicht: Switzerland Springer International Publishing AG 2018
ISBN:9783319897219, 3319897217
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!