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

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

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Search results