research
∙
04/17/2023
An Ethereum-compatible blockchain that explicates and ensures design-level safety properties for smart contracts
Smart contracts are crucial elements of decentralized technologies, but ...
share
research
∙
07/13/2021
