@article{Wistoff_SGHB_23,
    author           = {Wistoff, Nils and Schneider, Moritz and G\"{u}rkaynak, Frank and Heiser, Gernot and Benini, Luca},
    doi              = {10.1109/TC.2022.3212636},
    journal          = {IEEE Transactions on Computers},
    keywords         = {time protection, micro-architectural timing channels, seL4, covert channels},
    number           = {5},
    pages            = {1420--1430},
    paperurl         = {https://trustworthy.systems/publications/papers/Wistoff_SGHB_23.pdf},
    title            = {Systematic Prevention of On-Core Timing Channels by Full Temporal Partitioning},
    volume           = {72},
    year             = {2023}
  }