13 citations · 14 across the 3 of their papers we have counts for
1 paper · 1 filter
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)…