Publications


Book Chapters

  1. Verifying Security Properties in Modern SoCs using Instruction-Level Abstractions.
    Pramod Subramanyan and Sharad Malik.
    Hardware IP Security and Trust, Springer-Verlag. January 2017.
    Editors: Prabhat Mishra, Swarup Bhunia and Mark Tehranipoor.

  2. Boolean Satisfiability: Solvers and Extensions. PDF
    Georg Weissenbacher, Pramod Subramanyan and Sharad Malik.
    Software Systems Safety, IOS Press, May 2014.


Journal Papers

  1. Reverse Engineering Digital Circuits Using Structural and Functional Analyses. PDF
    Pramod Subramanyan, Nestan Tsiskaridze, Wenchao Li, Adria Gascon, Wei Yang Tan, Ashish Tiwari, Natarajan Shankar, Sanjit A. Seshia and Sharad Malik.
    Proceedings of IEEE Transactions on Emerging Topics in Computing: Special Issue on Nanoscale Architectures for Hardware Security, Trust and Reliability. (TETC 2014). March 2014.


Conference Papers

  1. A Formal Foundation for Secure Remote Execution of Enclaves PDF IACR
    Pramod Subramanyan, Rohit Sinha, Ilia Lebedev, Srinivas Devadas and Sanjit A. Seshia.
    To Appear in the Proceedings of the ACM Conference on Computer and Communications Security. (CCS 2017). Dallas, TX. October 2017.

  2. Malware Detection using Machine Learning Based Analysis of Virtual Memory Access Patterns. PDF
    Zhixing Xu, Sayak Ray, Pramod Subramanyan and Sharad Malik.
    Proceedings of Design Automation and Test in Europe. (DATE 2017). Lausanne, Switzerland. March 2017.

  3. (Invited) Specification and Modeling for Systems-on-Chip Security Verification. PDF
    Sharad Malik and Pramod Subramanyan.
    Proceedings of the Design Automation Conference. (DAC 2016), Austin, TX. June 2016.

  4. Verifying Information Flow Properties of Firmware using Symbolic Execution. PDF
    Pramod Subramanyan, Sharad Malik, Hareesh Khattri, Abhranil Maiti and Jason Fung.
    Proceedings of Design Automation and Test in Europe. (DATE 2016). Dresden, Germany, March 2016.

  5. Template-based Synthesis of Instruction-Level Abstractions for SoC Verification. PDF
    Pramod Subramanyan, Yakir Vizel, Sayak Ray and Sharad Malik.
    Proceedings of Formal Methods in Computer-Aided Design. (FMCAD 2015). Austin, TX, September 2015.

  6. (Best Student Paper) Evaluating the Security of Logic Encryption Algorithms. PDF
    Pramod Subramanyan, Sayak Ray and Sharad Malik.
    Proceedings of Hardware-Oriented Security and Trust. (HOST 2015). McLean, VA, May 2015.

  7. Template-based circuit understanding. PDF
    Adria Gascon, Pramod Subramanyan, Bruno Dutertre, Ashish Tiwari, Dejan Jovanovic and Sharad Malik.
    Proceedings of Formal Methods in Computer-Aided Design. (FMCAD 2014). Lausanne, Switzerland, October 2014.

  8. Formal Verification of Taint-propagation Security Properties in a Commerical SoC Design. PDF
    Pramod Subramanyan and Divya Arora.
    Proceedings of Design Automation and Test in Europe. (DATE 2014). Dresden, Germany, March 2014.

  9. All-SAT using Minimal Blocking Clauses. PDF
    Yinlei Yu, Pramod Subramanyan, Nestan Tsiskaridze and Sharad Malik.
    Proceedings of VLSI Design. (VLSID 2014). Mumbai, India, January 2014.

  10. WordRev: Finding Word-Level Structures in a Sea of Bit-Level Gates. PDF
    Wenchao Li, Adria Gascon, Pramod Subramanyan, Wei Yang Tan, Ashish Tiwari, Sharad Malik, Natarajan Shankar and Sanjit A. Seshia.
    Proceedings of Hardware-Oriented Security and Trust. (HOST 2013). Austin, TX, June 2013.

  11. Reverse Engineering Digital Circuits Using Functional Analysis. PDF
    Pramod Subramanyan, Nestan Tsiskaridze, Kanika Pasricha, Dillon Reisman, Adriana Susnea and Sharad Malik.
    Proceedings of Design Automation and Test In Europe. (DATE 2013). Grenoble, France, March 2013.

  12. Adaptive Execution Assistance for Multiplexed Fault-Tolerant Chip Multiprocessors. PDF
    Pramod Subramanyan, Virendra Singh, Kewal Saluja and Erik Larsson.
    Proceedings of International Conference on Computer Design. (ICCD 2011). Amherst, MA, October 2011.

  13. Energy-Efficient Fault Tolerance in Chip Multiprocessors Using Critical Value Forwarding. PDF
    Pramod Subramanyan, Virendra Singh, Kewal Saluja and Erik Larsson.
    Proceedings of Dependable Systems and Networks. (DSN 2010). Chicago, IL, June 2010.

  14. Energy-Efficient Redundant Execution in Chip Multiprocessors. PDF
    Pramod Subramanyan, Virendra Singh, Kewal Saluja and Erik Larsson.
    Proceedings of Great Lakes Symposium on VLSI. (GLSVLSI 2010). Providence, RI, May 2010.

  15. Multiplexed Redundant Execution: A Technique for Efficient Fault Tolerance in Chip Multiprocessors. PDF
    Pramod Subramanyan, Virendra Singh, Kewal Saluja and Erik Larsson.
    Proceedings of Design Automation and Test in Europe. (DATE 2010). Dresden, Germany, March 2010.

  16. Accelerating Signal Processing Applications Using Graphics Processors. PDF
    Ashwin Prasad and Pramod Subramanyan.
    Proceedings of the National Conference on Communications. (NCC 2008). Mumbai, India, February 2008.


Workshop Papers

  1. Generation of Minimal Leakage Input Vectors with Constrained NBTI Degradation. PDF
    Pramod Subramanyan, Ram Rakesh Jangir, Jaynarayan Tudu, Erik Larsson and Virendra Singh.
    Proceedings of East-West Design and Test Workshop. (EWDTS 2009). Moscow, Russia, September 2009.

  2. Power-Efficient Redundant Execution for Chip Multiprocessors. PDF
    Pramod Subramanyan, Virendra Singh, Kewal Saluja and Erik Larsson.
    Proceedings of Workshop on Dependable and Secure Nanocomputing held in conjuction with DSN 2009. (WDSN 2009). Lisbon, Portugal, June 2009.


Thesis

  1. Deriving Abstractions to Address Hardware Platform Security Challenges PDF
    Pramod Subramanyan.
    Ph.D. Thesis, Princeton University. January 2017.

  2. Efficient Fault Tolerance in Chip Multiprocessors Using Critical Value Forwarding. PDF
    Pramod Subramanyan.
    M.Sc (Engg.) Thesis, Indian Institute of Science. June 2011.
    Awarded the Subramaniam Rajalakshmi Medal for the Best M.Sc (Engg.) Thesis at SERC, IISc.