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