@techreport{reiche_modeling_2021,
title = {Modeling and Verifying Access Control for Ethereum Smart Contracts},
doi = {10.5445/IR/1000129607},
number = {1000129607},
institution = {Karlsruher Institut f{\"u}r Technologie (KIT)},
author = {Frederik Reiche and Jonas Schiffl and Bernhard Beckert and Robert Heinrich and Ralf Reussner},
month = feb,
year = {2021}
}
Modeling and Verifying Access Control for Ethereum Smart Contracts
| Author(s): | Frederik Reiche, Jonas Schiffl, Bernhard Beckert, Robert Heinrich, and Ralf Reussner |
|---|---|
| Institution: | Karlsruher Institut für Technologie (KIT) |
| Number: | 1000129607 |
| Year: | 2021 |
| DOI: | 10.5445/IR/1000129607 |