Select Publications
Preprints
2019, Can We Prove Time Protection?, http://dx.doi.org/10.48550/arxiv.1901.08338
,2018, Time Protection: the Missing OS Abstraction, http://dx.doi.org/10.48550/arxiv.1810.05345
,2018, Benchmarking Crimes: An Emerging Threat in Systems Security, http://dx.doi.org/10.48550/arxiv.1801.02381
,2016, Your Processor Leaks Information - and There's Nothing You Can Do About It, http://dx.doi.org/10.48550/arxiv.1612.04474
,2016, An Evaluation of Coarse-Grained Locking for Multicore Microkernels, http://dx.doi.org/10.48550/arxiv.1609.08372
,