research
∙
12/02/2021
Unity is Strength: A Formalization of Cross-Domain Maximal Extractable Value
The multi-chain future is upon us. Modular architectures are coming to m...
share
research
∙
09/09/2021
Clockwork Finance: Automated Analysis of Economic Security in Smart Contracts
We introduce the Clockwork Finance Framework (CFF), a general purpose, f...
research
∙
04/10/2019
