Wei Chen, Yuhui Lin, Vashti Galpin, Vivek Nigam, Myungjin Lee, David Aspinall 0001. Formal Analysis of Sneak-Peek: A Data Centre Attack and Its Mitigations. In Lech Jan Janczewski, Miroslaw Kutylowski, editors, ICT Systems Security and Privacy Protection - 33rd IFIP TC 11 International Conference, SEC 2018, Held at the 24th IFIP World Computer Congress, WCC 2018, Poznan, Poland, September 18-20, 2018, Proceedings. Volume 529 of IFIP Advances in Information and Communication Technology, pages 307-322, Springer, 2018. [doi]
Abstract is missing.