3 papers
cs.CR2021
Multi-Execution Lattices Fast and Slow
Maximilian Algehed, Cormac Flanagan
Methods for automatically, soundly, and precisely guaranteeing the noninterference security policy are predominantly based on multi-execution. All other methods are either based on…
cs.CR2020
Transparent IFC Enforcement: Possibility and (In)Efficiency Results
Maximilian Algehed, Cormac Flanagan
Information Flow Control (IFC) is a collection of techniques for ensuring a no-write-down no-read-up style security policy known as noninterference. Traditional methods for both st…
cs.PL2018
Secure Serverless Computing Using Dynamic Information Flow Control
Kalev Alpernas, Cormac Flanagan, Sadjad Fouladi +4
The rise of serverless computing provides an opportunity to rethink cloud security. We present an approach for securing serverless systems using a novel form of dynamic information…