Pramod Subramanyan

According to our database, Pramod Subramanyan authored at least 33 papers between 2010 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

Analysis of Linux-PRNG (Pseudo Random Number Generator).

Ayush Bansal, Pramod Subramanyan, Satyadev Nandakumar

CoRR, 2023

2021

PSec: Programming Secure Distributed Systems using Enclaves.

Shivendra Kushwah, Ankush Desai, Pramod Subramanyan, Sanjit A. Seshia

Proceedings of the ASIA CCS '21: ACM Asia Conference on Computer and Communications Security, 2021

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

Functional Analysis Attacks on Logic Locking.

Deepak Sirone, Pramod Subramanyan

IEEE Trans. Inf. Forensics Secur., 2020

When Oblivious is Not: Attacks against OPAM.

Nirjhar Roy, Nikhil Bansal, Gourav Takhar, Nikhil Mittal, Pramod Subramanyan

Proceedings of the 14th USENIX Workshop on Offensive Technologies, 2020

Mining Hyperproperties from Behavioral Traces.

Mayank Rawat, Sujit Kumar Muduli, Pramod Subramanyan

Proceedings of the 28th IFIP/IEEE International Conference on Very Large Scale Integration, 2020

HyperFuzzing for SoC Security Validation.

Sujit Kumar Muduli, Gourav Takhar, Pramod Subramanyan

Proceedings of the IEEE/ACM International Conference On Computer Aided Design, 2020

Verification of Quantitative Hyperproperties Using Trace Enumeration Relations.

Shubham Sahai, Pramod Subramanyan, Rohit Sinha

Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

2019

Instruction-Level Abstraction (ILA): A Uniform Specification for System-on-Chip (SoC) Verification.

Bo-Yuan Huang, Hongce Zhang, Pramod Subramanyan, Yakir Vizel, Aarti Gupta, Sharad Malik

ACM Trans. Design Autom. Electr. Syst., 2019

Verification of Authenticated Firmware Load.

Sujit Kumar Muduli, Pramod Subramanyan, Sayak Ray

IACR Cryptol. ePrint Arch., 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 Loaders.

Sujit Kumar Muduli, Pramod Subramanyan, Sayak Ray

Proceedings of the 2019 Formal Methods in Computer Aided Design, 2019

Towards Verifiably Secure Systems-on-Chip Platforms.

Sujit Kumar Muduli, Pramod Subramanyan

Proceedings of the 28th IEEE Asian Test Symposium, 2019

2018

Template-Based Parameterized Synthesis of Uniform Instruction-Level Abstractions for SoC Verification.

Pramod Subramanyan, Bo-Yuan Huang, Yakir Vizel, Aarti Gupta, Sharad Malik

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2018

UCLID5: Integrating Modeling, Verification, Synthesis and Learning.

Sanjit A. Seshia, Pramod Subramanyan

Proceedings of the 16th ACM/IEEE International Conference on Formal Methods and Models for System Design, 2018

Lazy Self-composition for Security Verification.

Weikun Yang, Yakir Vizel, Pramod Subramanyan, Aarti Gupta, Sharad Malik

Proceedings of the Computer Aided Verification - 30th International Conference, 2018

2017

A Formal Foundation for Secure Remote Execution of Enclaves.

Pramod Subramanyan, Rohit Sinha, Ilia A. Lebedev, Srinivas Devadas, Sanjit A. Seshia

IACR Cryptol. ePrint Arch., 2017

Malware detection using machine learning based analysis of virtual memory access patterns.

Zhixing Xu, Sayak Ray, Pramod Subramanyan, Sharad Malik

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2017

2016

Verifying information flow properties of firmware using symbolic execution.

Pramod Subramanyan, Sharad Malik, Hareesh Khattri, Abhranil Maiti, Jason M. Fung

Proceedings of the 2016 Design, Automation & Test in Europe Conference & Exhibition, 2016

Invited - Specification and modeling for systems-on-chip security verification.

Sharad Malik, Pramod Subramanyan

Proceedings of the 53rd Annual Design Automation Conference, 2016

2015

Evaluating the security of logic encryption algorithms.

Pramod Subramanyan, Sayak Ray, Sharad Malik

Proceedings of the IEEE International Symposium on Hardware Oriented Security and Trust, 2015

Template-based Synthesis of Instruction-Level Abstractions for SoC Verification.

Pramod Subramanyan, Yakir Vizel, Sayak Ray, Sharad Malik

Proceedings of the Formal Methods in Computer-Aided Design, 2015

2014

Boolean Satisfiability: Solvers and Extensions.

Georg Weissenbacher, Pramod Subramanyan, Sharad Malik

Proceedings of the Software Systems Safety, 2014

Reverse Engineering Digital Circuits Using Structural and Functional Analyses.

Pramod Subramanyan, Nestan Tsiskaridze, Wenchao Li, Adrià Gascón, Wei Yang Tan, Ashish Tiwari, Natarajan Shankar, Sanjit A. Seshia, Sharad Malik

IEEE Trans. Emerg. Top. Comput., 2014

All-SAT Using Minimal Blocking Clauses.

Yinlei Yu, Pramod Subramanyan, Nestan Tsiskaridze, Sharad Malik

Proceedings of the 2014 27th International Conference on VLSI Design, 2014

Template-based circuit understanding.

Adrià Gascón, Pramod Subramanyan, Bruno Dutertre, Ashish Tiwari, Dejan Jovanovic, Sharad Malik

Proceedings of the Formal Methods in Computer-Aided Design, 2014

Formal verification of taint-propagation security properties in a commercial SoC design.

Pramod Subramanyan, Divya Arora

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2014

2013

WordRev: Finding word-level structures in a sea of bit-level gates.

Wenchao Li, Adrià Gascón, Pramod Subramanyan, Wei Yang Tan, Ashish Tiwari, Sharad Malik, Natarajan Shankar, Sanjit A. Seshia

Proceedings of the 2013 IEEE International Symposium on Hardware-Oriented Security and Trust, 2013

Reverse engineering digital circuits using functional analysis.

Pramod Subramanyan, Nestan Tsiskaridze, Kanika Pasricha, Dillon Reisman, Adriana Susnea, Sharad Malik

Proceedings of the Design, Automation and Test in Europe, 2013

2011

Adaptive execution assistance for multiplexed fault-tolerant chip multiprocessors.

Pramod Subramanyan, Virendra Singh, Kewal K. Saluja, Erik Larsson

Proceedings of the IEEE 29th International Conference on Computer Design, 2011

2010

Energy-efficient redundant execution for chip multiprocessors.

Pramod Subramanyan, Virendra Singh, Kewal K. Saluja, Erik Larsson

Proceedings of the 20th ACM Great Lakes Symposium on VLSI 2009, 2010

Energy-efficient fault tolerance in chip multiprocessors using Critical Value Forwarding.

Pramod Subramanyan, Virendra Singh, Kewal K. Saluja, Erik Larsson

Proceedings of the 2010 IEEE/IFIP International Conference on Dependable Systems and Networks, 2010

Multiplexed redundant execution: A technique for efficient fault tolerance in chip multiprocessors.

Pramod Subramanyan, Virendra Singh, Kewal K. Saluja, Erik Larsson

Proceedings of the Design, Automation and Test in Europe, 2010