research
∙
07/19/2021
Compositional Verification of Smart Contracts Through Communication Abstraction (Extended)
Solidity smart contracts are programs that manage up to 2^160 users on a...
share
research
∙
09/29/2020
Automatically Tailoring Static Analysis to Custom Usage Scenarios
In recent years, there has been significant progress in the development ...
research
∙
06/04/2019
