Our collaboration with Data 61’s Trustworthy Systems research program (UNSW) continues with a further, multi-year, extension of our CRP Research Agreement in the area of Security and Virtualisation.
Dr Yuval Yarom leads this latest grant collaboration, which will survey micro-architectural time-based covert channels and side channels on modern architectures. It will survey existing exploits and mitigation strategies, and attempt to quantify them. It will design, and implement minimal, low-overhead mechanisms for the seL4 microkernel that allow mitigation of those channels, and will analyse their effectiveness
Assessment and OS-Level Mitigation of Timing Channels. Y.Yarom and K. Falkner, Data61 CRP Research Agreement ($682,684) (2016-2019)