research
∙
11/15/2022
CommCSL: Proving Information Flow Security for Concurrent Programs using Abstract Commutativity
Information flow security ensures that the secret data manipulated by a ...
share
research
∙
04/20/2021
Modular Verification of Collaborating Smart Contracts
Smart contracts are programs that execute inside blockchains such as Eth...
research
∙
10/09/2020
