TY  - RPRT
TI  - Proving the Absence of Microarchitectural Timing Channels
AU  - Scott Buckley
AU  - Robert Sison
AU  - Nils Wistoff
AU  - Curtis Millar
AU  - Toby Murray
AU  - Gerwin Klein
AU  - Gernot Heiser
PY  - 2023
UR  - https://arxiv.org/abs/2310.17046
ID  - 2310.17046
ER  -