Securing functional programs with floating-label information-flow control

von Buiras, Pablo
Veröffentlicht 2016

Validation of Abstract Side-Channel Models for Computer Architectures

von Nemati, Hamed
Veröffentlicht in CAV (32. : 2020 : Online) Computer aided verification ; Part 1 (2020)