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
∙
10/25/2020
Giving Semantics to Program-Counter Labels via Secure Effects
Type systems designed for information-flow control commonly use a progra...
research
∙
01/28/2020
First-Order Logic for Flow-Limited Authorization
We present the Flow-Limited Authorization First-Order Logic (FLAFOL), a ...
research
∙
09/27/2018
Obladi: Oblivious Serializable Transactions in the Cloud
This paper presents the design and implementation of Obladi, the first s...
research
∙
08/29/2017
