KLEESPECTRE: Detecting Information Leakage through Speculative Cache Attacks via Symbolic Execution.

بواسطة Wang, Guanhua, Chattopadhyay, Sudipta, Biswas, Arnab Kumar, Mitra, Tulika, Roychoudhury, Abhik
منشور في 2020

CIDPro : custom instructions for dynamic program diversification

بواسطة Pham, Thinh Hung, Fell, Alexander, Biswas, Arnab Kumar, Lam, Siew-Kei, Veeranna, Nandeesha
منشور في 2021