Modelling and Enforcing Access Control Requirements for Smart Contracts - Data Set
Jan-Philipp Töberg · Zenodo (CERN European Organization for Nuclear Research) · 2022
This data set contains all artifacts for the master thesis of Jan-Philipp Töberg at the Karlsruher Institute of Technology. This includes the Eclipse project for the metamodel and the generator, the extension of the Slither framework and the use case instances employed during the evaluation. Additionally, extensive instructions regarding the installation and usage are provided.