An automated technique for determining whether programs are vulnerable to a specific class of micro-architectural attacks
The extension is great for ensuring correctness of code, but it can also be used to improve the performance of code
“Cryptographic Techniques for the Security of Cloud and Blockchain Systems” is the thesis title
The paper was presented at ACM CCS'19 last November in London
