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

by Wang, Guanhua, Chattopadhyay, Sudipta, Biswas, Arnab Kumar, Mitra, Tulika, Roychoudhury, Abhik
Published 2020

CIDPro : custom instructions for dynamic program diversification

by Pham, Thinh Hung, Fell, Alexander, Biswas, Arnab Kumar, Lam, Siew-Kei, Veeranna, Nandeesha
Published 2021