research
∙
04/21/2021
A Calculus for Flow-Limited Authorization
Real-world applications routinely make authorization decisions based on ...
share
research
∙
03/15/2021
Compositional Security for Reentrant Applications
The disastrous vulnerabilities in smart contracts sharply remind us of o...
research
∙
11/16/2020
Heterogeneous Paxos: Technical Report
In distributed systems, a group of learners achieve consensus when, by o...
research
∙
10/18/2020
Handling Bidirectional Control Flow: Technical Report
Pressed by the difficulty of writing asynchronous, event-driven code, ma...
research
∙
09/14/2020
The Cost of Software-Based Memory Management Without Virtual Memory
Virtual memory has been a standard hardware feature for more than three ...
research
∙
05/09/2019
Charlotte: Composable Authenticated Distributed Data Structures, Technical Report
We present Charlotte, a framework for composable, authenticated distribu...
research
∙
06/18/2018
A Web of Blocks
Blockchains offer a useful abstraction: a trustworthy, decentralized log...
research
∙
08/29/2017