research
∙
07/18/2022
A Pattern-based deadlock-freedom analysis strategy for concurrent systems
Local analysis has long been recognised as an effective tool to combat t...
share
research
∙
05/16/2022
Specification is Law: Safe Creation and Upgrade of Ethereum Smart Contracts
Smart contracts are the building blocks of the "code is law" paradigm: t...
research
∙
05/20/2020
