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

Fingerprint

Dive into the research topics of 'Formal Analysis of Sneak-Peek: A Data-Centre Attack and its Mitigations'. Together they form a unique fingerprint.

Engineering & Materials Science