A Formal Model of Cache Speculation Side-Channels - Catalin Marinas
Channel: Markus Kuppe
Date: 2020-10-02

https://conf.tlapl.us/2020/01-Catalin_Marinas-A_Formal_Model_of_Cache_Speculation_Side-Channels.pdf