Static Capability-Based Security for Smart Contracts
Schiffl, Jonas
1; Weigl, Alexander
1; Beckert, Bernhard
1
1 Institut für Informationssicherheit und Verlässlichkeit (KASTEL), Karlsruher Institut für Technologie (KIT)
1; Weigl, Alexander
1; Beckert, Bernhard
11 Institut für Informationssicherheit und Verlässlichkeit (KASTEL), Karlsruher Institut für Technologie (KIT)
| 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 | Scopus Dimensions |