Pramod Subramanyan
Publications by Year
Research Areas
Security and Verification in Computing, Physical Unclonable Functions (PUFs) and Hardware Security, Radiation Effects in Electronics, Advanced Malware Detection Techniques, Formal Methods in Verification
Most-Cited Works
- → Evaluating the security of logic encryption algorithms(2015)759 cited
- → Reverse Engineering Digital Circuits Using Structural and Functional Analyses(2014)136 cited
- → Malware detection using machine learning based analysis of virtual memory access patterns(2017)123 cited
- → A Formal Foundation for Secure Remote Execution of Enclaves(2017)111 cited
- → WordRev: Finding word-level structures in a sea of bit-level gates(2013)88 cited
- → Functional Analysis Attacks on Logic Locking(2019)83 cited
- → Reverse Engineering Digital Circuits Using Functional Analysis(2013)65 cited
- → Instruction-Level Abstraction (ILA)(2018)40 cited
- → All-SAT Using Minimal Blocking Clauses(2014)37 cited