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