KIT | KIT-Bibliothek | Impressum | Datenschutz

Static Capability-Based Security for Smart Contracts

Schiffl, Jonas ORCID iD icon 1; Weigl, Alexander ORCID iD icon 1; Beckert, Bernhard ORCID iD icon 1
1 Institut für Informationssicherheit und Verlässlichkeit (KASTEL), Karlsruher Institut für Technologie (KIT)


Preprint §
DOI: 10.5445/IR/1000163082
Veröffentlicht am 26.10.2023
Cover der Publikation
Zugehörige Institution(en) am KIT Institut für Informationssicherheit und Verlässlichkeit (KASTEL)
Publikationstyp Proceedingsbeitrag
Publikationsjahr 2023
Sprache Englisch
Identifikator ISBN: 979-835033535-4
KITopen-ID: 1000163082
HGF-Programm 46.23.01 (POF IV, LK 01) Methods for Engineering Secure Systems
Erschienen in 2023 IEEE International Conference on Decentralized Applications and Infrastructures (DAPPS)
Veranstaltung 5th IEEE International Conference on Decentralized Applications and Infrastructures (DAPPS 2023), Athen, Griechenland, 17.07.2023 – 20.07.2023
Verlag Institute of Electrical and Electronics Engineers (IEEE)
Seiten 110 – 117
Vorab online veröffentlicht am 06.09.2023
Nachgewiesen in Dimensions
Scopus
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page