KLEESpectre: Detecting Information Leakage through Speculative Cache Attacks via Symbolic Execution - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Guanhua Wang, Sudipta Chattopadhyay 0001, Arnab Kumar Biswas, Tulika Mitra, Abhik Roychoudhury. KLEESpectre: Detecting Information Leakage through Speculative Cache Attacks via Symbolic Execution. ACM Transactions on Software Engineering Methodology, 29(3), 2020. [doi]

This author has not been identified. Look up 'Guanhua Wang' in GoogleThis author has not been identified. Look up 'Sudipta Chattopadhyay 0001' in GoogleThis author has not been identified. Look up 'Arnab Kumar Biswas' in GoogleThis author has not been identified. Look up 'Tulika Mitra' in GoogleThis author has not been identified. Look up 'Abhik Roychoudhury' in Google

runs on WebDSL