Product Programs in the Wild: Retrofitting Program Verifiers to Check Information Flow Security

von Eilers, Marco
Veröffentlicht in CAV (33. : 2021 : Online) Computer aided verification ; Part 1 (2021)