Pramod Subramanyan

Evaluating the security of logic encryption algorithms

Pramod Subramanyan, Sayak Ray, Sharad Malik · 2015 · 750 citations

Reverse Engineering Digital Circuits Using Structural and Functional Analyses

Pramod Subramanyan, Nestan Tsiskaridze, Wenchao Li et al. · IEEE Transactions on Emerging Topics in Computing · 2014 · 136 citations · Full text

Hardware Trojans/malware, Hardware Trojan, Engineering +19

Malware detection using machine learning based analysis of virtual memory access patterns

Zhixing Xu, Sayak Ray, Pramod Subramanyan et al. · 2017 · 123 citations

Hardware Security, Software Security, Engineering +15

A Formal Foundation for Secure Remote Execution of Enclaves

Pramod Subramanyan, Rohit Sinha, Srinivas Devadas et al. · 2017 · 107 citations

Engineering, Information Security, Verification +18

WordRev: Finding word-level structures in a sea of bit-level gates

Wenchao Li, Adrià Gascón, Pramod Subramanyan et al. · 2013 · 88 citations

Hardware Trojan, Engineering, Information Security +28