Pramod Subramanyan
Pramod Subramanyan
Bestätigte E-Mail-Adresse bei cse.iitk.ac.in - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Evaluating the security of logic encryption algorithms
P Subramanyan, S Ray, S Malik
2015 IEEE International Symposium on Hardware Oriented Security and Trust …, 2015
3662015
Reverse engineering digital circuits using structural and functional analyses
P Subramanyan, N Tsiskaridze, W Li, A Gascon, WY Tan, A Tiwari, ...
Emerging Topics in Computing, IEEE Transactions on 2 (1), 63-80, 2014
862014
Reverse engineering digital circuits using functional analysis
P Subramanyan, N Tsiskaridze, K Pasricha, D Reisman, A Susnea, ...
2013 Design, Automation & Test in Europe Conference & Exhibition (DATE …, 2013
712013
Wordrev: Finding word-level structures in a sea of bit-level gates
W Li, A Gascon, P Subramanyan, WY Tan, A Tiwari, S Malik, N Shankar, ...
Hardware-Oriented Security and Trust (HOST), 2013 IEEE International …, 2013
622013
A formal foundation for secure remote execution of enclaves
P Subramanyan, R Sinha, I Lebedev, S Devadas, SA Seshia
Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications …, 2017
602017
Functional analysis attacks on logic locking
D Sirone, P Subramanyan
IEEE Transactions on Information Forensics and Security 15, 2514-2527, 2020
492020
Malware detection using machine learning based analysis of virtual memory access patterns
Z Xu, S Ray, P Subramanyan, S Malik
Design, Automation & Test in Europe Conference & Exhibition (DATE), 2017 …, 2017
432017
Template-based circuit understanding
A Gascón, P Subramanyan, B Dutertre, A Tiwari, D Jovanović, S Malik
2014 Formal Methods in Computer-Aided Design (FMCAD), 83-90, 2014
332014
Multiplexed redundant execution: A technique for efficient fault tolerance in chip multiprocessors
P Subramanyan, V Singh, KK Saluja, E Larsson
2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010 …, 2010
322010
All-SAT using minimal blocking clauses
Y Yu, P Subramanyan, N Tsiskaridze, S Malik
2014 27th International Conference on VLSI Design and 2014 13th …, 2014
312014
Formal verification of taint-propagation security properties in a commercial SoC design
P Subramanyan, D Arora
2014 Design, Automation & Test in Europe Conference & Exhibition (DATE), 1-2, 2014
302014
Energy-efficient fault tolerance in chip multiprocessors using critical value forwarding
P Subramanyan, V Singh, KK Saluja, E Larsson
2010 IEEE/IFIP International Conference on Dependable Systems & Networks …, 2010
252010
Verifying information flow properties of firmware using symbolic execution
P Subramanyan, S Malik, H Khattri, A Maiti, J Fung
2016 Design, Automation & Test in Europe Conference & Exhibition (DATE), 337-342, 2016
242016
Template-based synthesis of instruction-level abstractions for SoC verification
P Subramanyan, Y Vizel, S Ray, S Malik
2015 Formal Methods in Computer-Aided Design (FMCAD), 160-167, 2015
242015
A formal approach to secure speculation
K Cheang, C Rasmussen, S Seshia, P Subramanyan
2019 IEEE 32nd Computer Security Foundations Symposium (CSF), 288-28815, 2019
152019
Instruction-Level Abstraction (ILA) A Uniform Specification for System-on-Chip (SoC) Verification
BY Huang, H Zhang, P Subramanyan, Y Vizel, A Gupta, S Malik
ACM Transactions on Design Automation of Electronic Systems (TODAES) 24 (1 …, 2018
152018
UCLID5: Integrating modeling, verification, synthesis and learning
SA Seshia, P Subramanyan
2018 16th ACM/IEEE International Conference on Formal Methods and Models for …, 2018
122018
Lazy self-composition for security verification
W Yang, Y Vizel, P Subramanyan, A Gupta, S Malik
International Conference on Computer Aided Verification, 136-156, 2018
102018
Template-based parameterized synthesis of uniform instruction-level abstractions for SoC verification
P Subramanyan, BY Huang, Y Vizel, A Gupta, S Malik
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2017
102017
Power efficient redundant execution for chip multiprocessors
P Subramanyan, V Singh, KK Saluja, E Larsson
92009
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20