Modelling and Enforcing Access Control Requirements for Smart Contracts - Data Set

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.