KIT | KIT-Bibliothek | Impressum | Datenschutz

Modeling and Verifying Access Control for Ethereum Smart Contracts

Reiche, Frederik; Schiffl, Jonas; Beckert, Bernhard; Heinrich, Robert; Reussner, Ralf



Zugehörige Institution(en) am KIT Kompetenzzentrum für angewandte Sicherheitstechnologie (KASTEL)
Institut für Theoretische Informatik (ITI)
Institut für Programmstrukturen und Datenorganisation (IPD)
Publikationstyp Forschungsbericht/Preprint
Publikationsdatum 12.02.2021
Sprache Englisch
Identifikator KITopen-ID: 1000129607
Verlag Karlsruher Institut für Technologie (KIT)
Projektinformation KASTEL_SVI (BMBF, 16KIS0521)
Schlagwörter Access Control, Smart Contracts, Model-driven Software Development, Architecture Modeling, Code Generation, Verification, Formal Methods
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page