Formal Analysis of Sneak-Peek: A Data Centre Attack and Its Mitigations.

Wei Chen, Yuhui Lin, Vashti Galpin, Vivek Nigam, Myungjin Lee, David Aspinall

Browse the full SEC paper archive.