Jonas Schiffl, Alexander Weigl, Bernhard Beckert. Static Capability-Based Security for Smart Contracts. In IEEE International Conference on Decentralized Applications and Infrastructures, DAPPS 2023, Athens, Greece, July 17-20, 2023. pages 110-117, IEEE, 2023. [doi]
Abstract is missing.