GitHub repository: KASTEL-CSSDA/SolidityAccessControlEnforcement
Primary language: Java
Created: 2022-06-30T11:33:39Z
Description: Modeling and formally enforcing role-based access control policies for smart contracts