Can Microkernels Mitigate Microarchitectural Attacks? - Gunnar Grimsdal; Patrik Lundgren; Christian Vestlund; Felipe Boeira; Mikael Asplund (NordSec, 2019)