Showing cs.CRShow all
2 papers · 1 filter
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…