Generalized Security-Preserving Refinement for Concurrent Systems

Huan Sun, David Sanán, Jingyi Wang +3

Ensuring compliance with Information Flow Security (IFS) is known to be challenging, especially for concurrent systems with large codebases such as multicore operating system (OS)…