1 paper · 2 filters
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…