Pramod Subramanyan

First name

Pramod

Last name

Subramanyan

Subramanyan, Pramod, Bo-Yuan Huang, Yakir Vizel, Aarti Gupta, and Sharad Malik. 2017. “Template-Based Parameterized Synthesis of Uniform Instruction-Level Abstractions for SoC Verification”. TCAD.

Reference Link
Xu, Zhixing, Sayak Ray, Pramod Subramanyan, and Sharad Malik. 2017. “Malware Detection Using Machine Learning Based Analysis of Virtual Memory Access Patterns”. In 2017 Design, Automation & Test in Europe Conference & Exhibition (DATE), 169–174. IEEE.

Reference Link
Subramanyan, Pramod, and Sharad Malik. 2017. “Verifying Security Properties in Modern SoCs Using Instruction-Level Abstractions”. In Hardware IP Security and Trust, 287–323. Springer International Publishing.

Reference Link
Malik, Sharad, and Pramod Subramanyan. 2016. “Invited: Specification and Modeling for Systems-on-Chip Security Verification”. In Design Automation Conference (DAC), 2016 53nd ACM EDAC IEEE, 1–6. IEEE.

Reference Link
Subramanyan, Pramod, Sharad Malik, Hareesh Khattri, Abhranil Maiti, and Jason Fung. 2016. “Verifying Information Flow Properties of Firmware Using Symbolic Execution”. In Proceedings of the 2016 Conference on Design, Automation & Test in Europe, 337–342. EDA Consortium.

Reference Link
Subramanyan, Pramod, Yakir Vizel, Sayak Ray, and Sharad Malik. 2015. “Template-Based Synthesis of Instruction-Level Abstractions for SoC Verification”. In Formal Methods in Computer-Aided Design (FMCAD), 2015, 160–167. IEEE.

Reference Link
Subramanyan, Pramod, Sayak Ray, and Sharad Malik. 2015. “Evaluating the Security of Logic Encryption Algorithms”. In Hardware Oriented Security and Trust (HOST), 2015 IEEE International Symposium on, 137–143. IEEE.

Reference Link
Gascón, Adria, Pramod Subramanyan, Bruno Dutertre, Ashish Tiwari, Dejan Jovanović, and Sharad Malik. 2014. “Template-Based Circuit Understanding”. In Formal Methods in Computer-Aided Design (FMCAD), 2014, 83–90. IEEE.

Reference Link
Weissenbacher, Georg, Pramod Subramanyan, and Sharad Malik. 2014. “Boolean Satisfiability: Solvers and Extensions.”. Software Systems Safety 36: 223.

Reference Link
Subramanyan, Pramod, Nestan Tsiskaridze, Wenchao Li, Adria Gascón, Wei Yang Tan, Ashish Tiwari, Natarajan Shankar, Sanjit Seshia, and Sharad Malik. 2014. “Reverse Engineering Digital Circuits Using Structural and Functional Analyses.”. IEEE Trans. Emerging Topics Comput. 2 (1): 63–80.

Reference Link
Yu, Yinlei, Pramod Subramanyan, Nestan Tsiskaridze, and Sharad Malik. 2014. “All-SAT Using Minimal Blocking Clauses”. In VLSI Design and 2014 13th International Conference on Embedded Systems, 2014 27th International Conference on, 86–91. IEEE.

Reference Link
Li, Wenchao, Adria Gascon, Pramod Subramanyan, Wei Yang Tan, Ashish Tiwari, Sharad Malik, Natarajan Shankar, and Sanjit Seshia. 2013. “Wordrev: Finding Word-Level Structures in a Sea of Bit-Level Gates”. In Hardware-Oriented Security and Trust (HOST), 2013 IEEE International Symposium on, 67–74. IEEE.

Reference Link
Subramanyan, Pramod, Nestan Tsiskaridze, Kanika Pasricha, Dillon Reisman, Adriana Susnea, and Sharad Malik. 2013. “Reverse Engineering Digital Circuits Using Functional Analysis”. In Proceedings of the Conference on Design, Automation and Test in Europe, 1277–1280. EDA Consortium.

Reference Link