Volgen
Pramod Subramanyan
Pramod Subramanyan
Geverifieerd e-mailadres voor cse.iitk.ac.in - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
Evaluating the security of logic encryption algorithms
P Subramanyan, S Ray, S Malik
2015 IEEE International Symposium on Hardware Oriented Security and Trust …, 2015
6202015
Functional analysis attacks on logic locking
D Sirone, P Subramanyan
IEEE Transactions on Information Forensics and Security 15, 2514-2527, 2020
1412020
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
1252014
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
1152017
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
982017
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
942013
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
832013
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
492019
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
462014
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
432016
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
412014
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
402014
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
392018
UCLID5: Integrating modeling, verification, synthesis and learning
SA Seshia, P Subramanyan
2018 16th ACM/IEEE International Conference on Formal Methods and Models for …, 2018
362018
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
352015
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
342010
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
272010
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
222018
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
182017
Specification and modeling for systems-on-chip security verification
S Malik, P Subramanyan
Proceedings of the 53rd Annual Design Automation Conference, 1-6, 2016
162016
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20