research
∙
03/25/2021
Multi-Execution Lattices Fast and Slow
Methods for automatically, soundly, and precisely guaranteeing the nonin...
share
research
∙
05/25/2020
Transparent IFC Enforcement: Possibility and (In)Efficiency Results
Information Flow Control (IFC) is a collection of techniques for ensurin...
research
∙
02/25/2018
