Pramod Subramanyan

Citée par

	Toutes	Depuis 2020
Citations	2713	1872
indice h	21	19
indice i10	27	22

400

200

100

300

201020112012201320142015201620172018201920202021202220232024202514 14 7 19 15 47 78 169 164 286 388 363 390 345 324 60

Accès public

Tout afficher

11 articles

0 article

disponibles

non disponibles

Sur la base des exigences liées au financement

Coauteurs

Sharad MalikProfessor of Electrical and Computer Engineering, Princeton UniversityAdresse e-mail validée de princeton.edu
Sanjit A. SeshiaProfessor of EECS, University of California, BerkeleyAdresse e-mail validée de eecs.berkeley.edu
Sayak RaySecurity Researcher, Intel CorporationAdresse e-mail validée de intel.com
Ashish TiwariComputer Scientist, SRI International; Researcher MicrosoftAdresse e-mail validée de csl.sri.com
Adrià GascónGoogle ResearchAdresse e-mail validée de google.com
Nestan TsiskaridzeResearch Engineer at Stanford UniversityAdresse e-mail validée de stanford.edu
Yakir VizelTechnionAdresse e-mail validée de cs.technion.ac.il
Erik LarssonLunds UniversitetAdresse e-mail validée de eit.lth.se
Virendra SinghAssociate Professor of Electrical Engineering, Indian Institute of Technology BombayAdresse e-mail validée de ee.iitb.ac.in
Kewal SalujaProfessor of Electrical and Computer Engineering, University of Wisconsin - MadisonAdresse e-mail validée de ece.wisc.edu
Natarajan ShankarSRI International Computer Science LaboratoryAdresse e-mail validée de csl.sri.com
Wenchao LiAssociate Professor, Boston UniversityAdresse e-mail validée de bu.edu
Aarti GuptaPrinceton UniversityAdresse e-mail validée de cs.princeton.edu
Sujit Kumar MuduliPhD Student, IIT KanpurAdresse e-mail validée de cse.iitk.ac.in
Rohit SinhaHashgraphAdresse e-mail validée de berkeley.edu
Ilia Lebedevgradient.tech, MITAdresse e-mail validée de gradient.tech
Dillon ReismanAdresse e-mail validée de nyu.edu
Cameron RasmussenUC BerkeleyAdresse e-mail validée de berkeley.edu
Hongce ZhangHong Kong University of Science and Technology (Guangzhou)Adresse e-mail validée de ust.hk
Dejan JovanovićAmazon Web ServicesAdresse e-mail validée de amazon.com

Suivre

Pramod Subramanyan

Indian Institute of Technology Kanpur

Adresse e-mail validée de cse.iitk.ac.in - Page d'accueil

formal methods security


Titre Trier par citations Trier par année Trier par titre	Citée par Citée par	Année
Evaluating the security of logic encryption algorithms P Subramanyan, S Ray, S Malik 2015 IEEE International Symposium on Hardware Oriented Security and Trust …, 2015	877	2015
Functional analysis attacks on logic locking D Sirone, P Subramanyan IEEE Transactions on Information Forensics and Security 15, 2514-2527, 2020	212	2020
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	176	2014
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	174	2017
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	152	2017
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	131	2013
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	122	2013
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	102	2019
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	90	2018
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	64	2014
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	61	2016
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	61	2014
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	55	2014
UCLID5: integrating modeling, verification, synthesis and learning SA Seshia, P Subramanyan 2018 16th ACM/IEEE International Conference on Formal Methods and Models for …, 2018	53	2018
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	48	2015
Hyperfuzzing for soc security validation SK Muduli, G Takhar, P Subramanyan Proceedings of the 39th International Conference on Computer-Aided Design, 1-9, 2020	41	2020
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	38	2010
Sayak Ray, and Sharad Malik. 2015. Evaluating the security of logic encryption algorithms P Subramanyan 2015 IEEE International Symposium on Hardware Oriented Security and Trust …, 0	37
Lazy self-composition for security verification W Yang, Y Vizel, P Subramanyan, A Gupta, S Malik Computer Aided Verification: 30th International Conference, CAV 2018, Held …, 2018	34	2018
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	31	2010

Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.

Articles 1–20

Nombre de citations par an

Citations en double

Citations fusionnées

Ajouter les coauteursCoauteurs

Suivre

Citée par

Coauteurs