research
∙
05/09/2022
Applying consensus and replication securely with FLAQR
Availability is crucial to the security of distributed systems, but guar...
share
research
∙
03/25/2021
Multi-Execution Lattices Fast and Slow
Methods for automatically, soundly, and precisely guaranteeing the nonin...
research
∙
05/25/2020
Transparent IFC Enforcement: Possibility and (In)Efficiency Results
Information Flow Control (IFC) is a collection of techniques for ensurin...
research
∙
05/10/2020