Pramod Subramanyan

Publication Activity (10 Years)

Years Active: 2010-2023
Publications (10 Years): 28

Top Topics

Formal Verification

Encryption Algorithm

Reverse Engineer

Top Venues

IACR Cryptol. ePrint Arch.

Publications

Ayush Bansal, Pramod Subramanyan, Satyadev Nandakumar
Analysis of Linux-PRNG (Pseudo Random Number Generator). CoRR (2023)
Shivendra Kushwah, Ankush Desai, Pramod Subramanyan, Sanjit A. Seshia
PSec: Programming Secure Distributed Systems using Enclaves. AsiaCCS (2021)
Nirjhar Roy, Nikhil Bansal, Gourav Takhar, Nikhil Mittal, Pramod Subramanyan
When Oblivious is Not: Attacks against OPAM. WOOT @ USENIX Security Symposium (2020)
Shubham Sahai, Pramod Subramanyan, Rohit Sinha
Verification of Quantitative Hyperproperties Using Trace Enumeration Relations. CAV (1) (2020)
Shubham Sahai, Rohit Sinha, Pramod Subramanyan
Verification of Quantitative Hyperproperties Using Trace Enumeration Relations. CoRR (2020)
Mayank Rawat, Sujit Kumar Muduli, Pramod Subramanyan
Mining Hyperproperties from Behavioral Traces. VLSI-SOC (2020)
Qutaiba Alasad, Jiann-Shuin Yuan, Pramod Subramanyan
Strong Logic Obfuscation with Low Overhead against IC Reverse Engineering Attacks. ACM Trans. Design Autom. Electr. Syst. 25 (4) (2020)
Deepak Sirone, Pramod Subramanyan
Functional Analysis Attacks on Logic Locking. IEEE Trans. Inf. Forensics Secur. 15 (2020)
Sujit Kumar Muduli, Gourav Takhar, Pramod Subramanyan
HyperFuzzing for SoC Security Validation. ICCAD (2020)
Sujit Kumar Muduli, Pramod Subramanyan, Sayak Ray
Verification of Authenticated Firmware Load. IACR Cryptol. ePrint Arch. 2019 (2019)
Bo-Yuan Huang, Hongce Zhang, Pramod Subramanyan, Yakir Vizel, Aarti Gupta, Sharad Malik
Instruction-Level Abstraction (ILA): A Uniform Specification for System-on-Chip (SoC) Verification. ACM Trans. Design Autom. Electr. Syst. 24 (1) (2019)
Kevin Cheang, Cameron Rasmussen, Sanjit A. Seshia, Pramod Subramanyan
A Formal Approach to Secure Speculation. CSF (2019)
Kevin Cheang, Cameron Rasmussen, Sanjit A. Seshia, Pramod Subramanyan
A Formal Approach to Secure Speculation. IACR Cryptol. ePrint Arch. 2019 (2019)
Sujit Kumar Muduli, Pramod Subramanyan, Sayak Ray
Verification of Authenticated Firmware Loaders. FMCAD (2019)
Sujit Kumar Muduli, Pramod Subramanyan
Towards Verifiably Secure Systems-on-Chip Platforms. ATS (2019)
Deepak Sirone, Pramod Subramanyan
Functional Analysis Attacks on Logic Locking. DATE (2019)
Pramod Subramanyan, Bo-Yuan Huang, Yakir Vizel, Aarti Gupta, Sharad Malik
Template-Based Parameterized Synthesis of Uniform Instruction-Level Abstractions for SoC Verification. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 37 (8) (2018)
Bo-Yuan Huang, Hongce Zhang, Pramod Subramanyan, Yakir Vizel, Aarti Gupta, Sharad Malik
Instruction-Level Abstraction (ILA): A Uniform Specification for System-on-Chip (SoC) Verification. CoRR (2018)
Deepak Sirone, Pramod Subramanyan
Functional Analysis Attacks on Logic Locking. CoRR (2018)
Weikun Yang, Yakir Vizel, Pramod Subramanyan, Aarti Gupta, Sharad Malik
Lazy Self-composition for Security Verification. CAV (2) (2018)
Sanjit A. Seshia, Pramod Subramanyan
UCLID5: Integrating Modeling, Verification, Synthesis and Learning. MEMOCODE (2018)
Zhixing Xu, Sayak Ray, Pramod Subramanyan, Sharad Malik
Malware detection using machine learning based analysis of virtual memory access patterns. DATE (2017)
Pramod Subramanyan, Rohit Sinha, Ilia A. Lebedev, Srinivas Devadas, Sanjit A. Seshia
A Formal Foundation for Secure Remote Execution of Enclaves. CCS (2017)
Pramod Subramanyan, Rohit Sinha, Ilia A. Lebedev, Srinivas Devadas, Sanjit A. Seshia
A Formal Foundation for Secure Remote Execution of Enclaves. IACR Cryptol. ePrint Arch. 2017 (2017)
Pramod Subramanyan, Sharad Malik, Hareesh Khattri, Abhranil Maiti, Jason M. Fung
Verifying information flow properties of firmware using symbolic execution. DATE (2016)
Sharad Malik, Pramod Subramanyan
Invited - Specification and modeling for systems-on-chip security verification. DAC (2016)
Pramod Subramanyan, Yakir Vizel, Sayak Ray, Sharad Malik
Template-based Synthesis of Instruction-Level Abstractions for SoC Verification. FMCAD (2015)
Pramod Subramanyan, Sayak Ray, Sharad Malik
Evaluating the security of logic encryption algorithms. HOST (2015)
Yinlei Yu, Pramod Subramanyan, Nestan Tsiskaridze, Sharad Malik
All-SAT Using Minimal Blocking Clauses. VLSI Design (2014)
Pramod Subramanyan, Divya Arora
Formal verification of taint-propagation security properties in a commercial SoC design. DATE (2014)
Pramod Subramanyan, Nestan Tsiskaridze, Wenchao Li, Adrià Gascón, Wei Yang Tan, Ashish Tiwari, Natarajan Shankar, Sanjit A. Seshia, Sharad Malik
Reverse Engineering Digital Circuits Using Structural and Functional Analyses. IEEE Trans. Emerg. Top. Comput. 2 (1) (2014)
Adrià Gascón, Pramod Subramanyan, Bruno Dutertre, Ashish Tiwari, Dejan Jovanovic, Sharad Malik
Template-based circuit understanding. FMCAD (2014)
Pramod Subramanyan, Nestan Tsiskaridze, Kanika Pasricha, Dillon Reisman, Adriana Susnea, Sharad Malik
Reverse engineering digital circuits using functional analysis. DATE (2013)
Wenchao Li, Adrià Gascón, Pramod Subramanyan, Wei Yang Tan, Ashish Tiwari, Sharad Malik, Natarajan Shankar, Sanjit A. Seshia
WordRev: Finding word-level structures in a sea of bit-level gates. HOST (2013)
Pramod Subramanyan, Virendra Singh, Kewal K. Saluja, Erik Larsson
Adaptive execution assistance for multiplexed fault-tolerant chip multiprocessors. ICCD (2011)
Pramod Subramanyan, Virendra Singh, Kewal K. Saluja, Erik Larsson
Energy-efficient redundant execution for chip multiprocessors. ACM Great Lakes Symposium on VLSI (2010)
Pramod Subramanyan, Virendra Singh, Kewal K. Saluja, Erik Larsson
Multiplexed redundant execution: A technique for efficient fault tolerance in chip multiprocessors. DATE (2010)
Pramod Subramanyan, Virendra Singh, Kewal K. Saluja, Erik Larsson
Energy-efficient fault tolerance in chip multiprocessors using Critical Value Forwarding. DSN (2010)