Cited By
View all- Stengele OWestermeyer CHartenstein H(2022)Decentralized Review and Attestation of Software Attribute ClaimsIEEE Access10.1109/ACCESS.2022.318504610(66694-66710)Online publication date: 2022
- Schiffl JGrundmann MLeinweber MStengele OFriebe SBeckert BLobo JDi Pietro RChowdhury O(2021)Towards Correct Smart Contracts: A Case Study on Formal Verification of Access ControlProceedings of the 26th ACM Symposium on Access Control Models and Technologies10.1145/3450569.3463574(125-130)Online publication date: 11-Jun-2021