research
∙
04/16/2023
Trees and Turtles: Modular Abstractions for State Machine Replication Protocols
We present two abstractions for designing modular state machine replicat...
share
research
∙
03/15/2021
Compositional Security for Reentrant Applications
The disastrous vulnerabilities in smart contracts sharply remind us of o...
research
∙
05/09/2019
