| 2021 | AsiaCCS | PSec: Programming Secure Distributed Systems using Enclaves. | Shivendra Kushwah, Ankush Desai, Pramod Subramanyan, Sanjit A. Seshia |
| 2020 | CAV | Verification of Quantitative Hyperproperties Using Trace Enumeration Relations. | Shubham Sahai, Pramod Subramanyan, Rohit Sinha |
| 2020 | ICCAD | HyperFuzzing for SoC Security Validation. | Sujit Kumar Muduli, Gourav Takhar, Pramod Subramanyan |
| 2019 | DATE | Functional Analysis Attacks on Logic Locking. | Deepak Sirone, Pramod Subramanyan |
| 2019 | FMCAD | Verification of Authenticated Firmware Loaders. | Sujit Kumar Muduli, Pramod Subramanyan, Sayak Ray |
| 2018 | CAV | Lazy Self-composition for Security Verification. | Weikun Yang, Yakir Vizel, Pramod Subramanyan, Aarti Gupta, Sharad Malik |
| 2018 | MEMOCODE | UCLID5: Integrating Modeling, Verification, Synthesis and Learning. | Sanjit A. Seshia, Pramod Subramanyan |
| 2017 | CCS | A Formal Foundation for Secure Remote Execution of Enclaves. | Pramod Subramanyan, Rohit Sinha, Ilia A. Lebedev, Srinivas Devadas, Sanjit A. Seshia |
| 2017 | DATE | Malware detection using machine learning based analysis of virtual memory access patterns. | Zhixing Xu, Sayak Ray, Pramod Subramanyan, Sharad Malik |
| 2016 | DAC | Invited - Specification and modeling for systems-on-chip security verification. | Sharad Malik, Pramod Subramanyan |
| 2016 | DATE | Verifying information flow properties of firmware using symbolic execution. | Pramod Subramanyan, Sharad Malik, Hareesh Khattri, Abhranil Maiti, Jason M. Fung |
| 2015 | FMCAD | Template-based Synthesis of Instruction-Level Abstractions for SoC Verification. | Pramod Subramanyan, Yakir Vizel, Sayak Ray, Sharad Malik |
| 2014 | DATE | Formal verification of taint-propagation security properties in a commercial SoC design. | Pramod Subramanyan, Divya Arora |
| 2014 | FMCAD | Template-based circuit understanding. | Adri Gascn, Pramod Subramanyan, Bruno Dutertre, Ashish Tiwari, Dejan Jovanovic, Sharad Malik |
| 2014 | VLSID | All-SAT Using Minimal Blocking Clauses. | Yinlei Yu, Pramod Subramanyan, Nestan Tsiskaridze, Sharad Malik |
| 2013 | DATE | Reverse engineering digital circuits using functional analysis. | Pramod Subramanyan, Nestan Tsiskaridze, Kanika Pasricha, Dillon Reisman, Adriana Susnea, Sharad Malik |
| 2011 | ICCD | Adaptive execution assistance for multiplexed fault-tolerant chip multiprocessors. | Pramod Subramanyan, Virendra Singh, Kewal K. Saluja, Erik Larsson |
| 2010 | DATE | Multiplexed redundant execution: A technique for efficient fault tolerance in chip multiprocessors. | Pramod Subramanyan, Virendra Singh, Kewal K. Saluja, Erik Larsson |
| 2010 | DSN | Energy-efficient fault tolerance in chip multiprocessors using Critical Value Forwarding. | Pramod Subramanyan, Virendra Singh, Kewal K. Saluja, Erik Larsson |