Multiplexed redundant execution: A technique for efficient fault tolerance in chip multiprocessors. - Pramod Subramanyan; Virendra Singh; Kewal K. Saluja; Erik Larsson (DATE, 2010)

Energy-efficient fault tolerance in chip multiprocessors using Critical Value Forwarding. - Pramod Subramanyan; Virendra Singh; Kewal K. Saluja; Erik Larsson (DSN, 2010)

Energy-efficient redundant execution for chip multiprocessors. - Pramod Subramanyan; Virendra Singh; Kewal K. Saluja; Erik Larsson (ACM Great Lakes Symposium on VLSI, 2010)

Adaptive execution assistance for multiplexed fault-tolerant chip multiprocessors. - Pramod Subramanyan; Virendra Singh; Kewal K. Saluja; Erik Larsson (ICCD, 2011)

Reverse engineering digital circuits using functional analysis. - Pramod Subramanyan; Nestan Tsiskaridze; Kanika Pasricha; Dillon Reisman; Adriana Susnea; Sharad Malik (DATE, 2013)

WordRev: Finding word-level structures in a sea of bit-level gates. - Wenchao Li 001; Adrià Gascón; Pramod Subramanyan; Wei Yang Tan; Ashish Tiwari 001; Sharad Malik; Natarajan Shankar; Sanjit A. Seshia (HOST, 2013)

Formal verification of taint-propagation security properties in a commercial SoC design. - Pramod Subramanyan; Divya Arora 001 (DATE, 2014)

Template-based circuit understanding. - Adrià Gascón; Pramod Subramanyan; Bruno Dutertre; Ashish Tiwari 001; Dejan Jovanovic; Sharad Malik (FMCAD, 2014)

All-SAT Using Minimal Blocking Clauses. - Yinlei Yu; Pramod Subramanyan; Nestan Tsiskaridze; Sharad Malik (VLSID, 2014)

Reverse Engineering Digital Circuits Using Structural and Functional Analyses. - Pramod Subramanyan; Nestan Tsiskaridze; Wenchao Li 001; Adrià Gascón; Wei Yang Tan; Ashish Tiwari 001; Natarajan Shankar; Sanjit A. Seshia; Sharad Malik (IEEE Trans. Emerg. Top. Comput., 2014)

Boolean Satisfiability: Solvers and Extensions. - Georg Weissenbacher; Pramod Subramanyan; Sharad Malik (Software Systems Safety, 2014)

Template-based Synthesis of Instruction-Level Abstractions for SoC Verification. - Pramod Subramanyan; Yakir Vizel; Sayak Ray; Sharad Malik (FMCAD, 2015)

Evaluating the security of logic encryption algorithms. - Pramod Subramanyan; Sayak Ray; Sharad Malik (HOST, 2015)

Invited - Specification and modeling for systems-on-chip security verification. - Sharad Malik; Pramod Subramanyan (DAC, 2016)

Verifying information flow properties of firmware using symbolic execution. - Pramod Subramanyan; Sharad Malik; Hareesh Khattri; Abhranil Maiti; Jason M. Fung (DATE, 2016)

Malware detection using machine learning based analysis of virtual memory access patterns. - Zhixing Xu; Sayak Ray; Pramod Subramanyan; Sharad Malik (DATE, 2017)

A Formal Foundation for Secure Remote Execution of Enclaves. - Pramod Subramanyan; Rohit Sinha 001; Ilia A. Lebedev; Srinivas Devadas; Sanjit A. Seshia (IACR Cryptol. ePrint Arch., 2017)

Deriving Abstractions to Address Hardware Platform Security Challenges - Pramod Subramanyan (2017)

Lazy Self-composition for Security Verification. - Weikun Yang; Yakir Vizel; Pramod Subramanyan; Aarti Gupta; Sharad Malik (CAV (2), 2018)

UCLID5: Integrating Modeling, Verification, Synthesis and Learning. - Sanjit A. Seshia; Pramod Subramanyan (MEMOCODE, 2018)

Template-Based Parameterized Synthesis of Uniform Instruction-Level Abstractions for SoC Verification. - Pramod Subramanyan; Bo-Yuan Huang 001; Yakir Vizel; Aarti Gupta; Sharad Malik (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2018)

Towards Verifiably Secure Systems-on-Chip Platforms. - Sujit Kumar Muduli; Pramod Subramanyan (ATS, 2019)

Verification of Authenticated Firmware Loaders. - Sujit Kumar Muduli; Pramod Subramanyan; Sayak Ray (FMCAD, 2019)

A Formal Approach to Secure Speculation. - Kevin Cheang; Cameron Rasmussen; Sanjit A. Seshia; Pramod Subramanyan (IACR Cryptol. ePrint Arch., 2019)

Verification of Authenticated Firmware Load. - Sujit Kumar Muduli; Pramod Subramanyan; Sayak Ray (IACR Cryptol. ePrint Arch., 2019)

Instruction-Level Abstraction (ILA): A Uniform Specification for System-on-Chip (SoC) Verification. - Bo-Yuan Huang 001; Hongce Zhang; Pramod Subramanyan; Yakir Vizel; Aarti Gupta; Sharad Malik (ACM Trans. Design Autom. Electr. Syst., 2019)

Verification of Quantitative Hyperproperties Using Trace Enumeration Relations. - Shubham Sahai; Pramod Subramanyan; Rohit Sinha 001 (CAV (1), 2020)

HyperFuzzing for SoC Security Validation. - Sujit Kumar Muduli; Gourav Takhar; Pramod Subramanyan (ICCAD, 2020)

Mining Hyperproperties from Behavioral Traces. - Mayank Rawat; Sujit Kumar Muduli; Pramod Subramanyan (VLSI-SOC, 2020)

When Oblivious is Not: Attacks against OPAM. - Nirjhar Roy; Nikhil Bansal 002; Gourav Takhar; Nikhil Mittal; Pramod Subramanyan (WOOT @ USENIX Security Symposium, 2020)

Functional Analysis Attacks on Logic Locking. - Deepak Sirone; Pramod Subramanyan (IEEE Trans. Inf. Forensics Secur., 2020)

Strong Logic Obfuscation with Low Overhead against IC Reverse Engineering Attacks. - Qutaiba Alasad; Jiann-Shuin Yuan; Pramod Subramanyan (ACM Trans. Design Autom. Electr. Syst., 2020)

PSec: Programming Secure Distributed Systems using Enclaves. - Shivendra Kushwah; Ankush Desai; Pramod Subramanyan; Sanjit A. Seshia (AsiaCCS, 2021)

Analysis of Linux-PRNG (Pseudo Random Number Generator). - Ayush Bansal; Pramod Subramanyan; Satyadev Nandakumar (CoRR, 2023)