research
∙
05/09/2022
Applying consensus and replication securely with FLAQR
Availability is crucial to the security of distributed systems, but guar...
share
research
∙
04/21/2021
A Calculus for Flow-Limited Authorization
Real-world applications routinely make authorization decisions based on ...
research
∙
04/04/2020
Building secure distributed applications the DECENT way
Remote attestation (RA) enables distributed applications that deploy tru...
research
∙
01/28/2020
First-Order Logic for Flow-Limited Authorization
We present the Flow-Limited Authorization First-Order Logic (FLAFOL), a ...
research
∙
08/29/2017
Cryptographically Secure Information Flow Control on Key-Value Stores
We present Clio, an information flow control (IFC) system that transpare...
research
∙
08/29/2017
