Pramod Subramanyan

Geciteerd door

	Alles	Sinds 2019
Citaties	2544	1985
h-index	20	18
i10-index	26	21

400

200

100

300

20102011201220132014201520162017201820192020202120222023202414 14 7 19 15 46 80 169 164 278 384 362 386 338 236

Openbare toegang

Alles bekijken

11 artikelen

0 artikelen

beschikbaar

niet beschikbaar

Op basis van financieringsmachtigingen

Medeauteurs

Sharad MalikProfessor of Electrical and Computer Engineering, Princeton UniversityGeverifieerd e-mailadres voor princeton.edu
Sanjit A. SeshiaProfessor of EECS, University of California, BerkeleyGeverifieerd e-mailadres voor eecs.berkeley.edu
Sayak RaySecurity Researcher, Intel CorporationGeverifieerd e-mailadres voor intel.com
Ashish TiwariComputer Scientist, SRI International; Researcher MicrosoftGeverifieerd e-mailadres voor csl.sri.com
Adrià GascónGoogle ResearchGeverifieerd e-mailadres voor google.com
Nestan TsiskaridzeResearch Engineer at Stanford UniversityGeverifieerd e-mailadres voor stanford.edu
Erik LarssonLunds UniversitetGeverifieerd e-mailadres voor eit.lth.se
Virendra SinghAssociate Professor of Electrical Engineering, Indian Institute of Technology BombayGeverifieerd e-mailadres voor ee.iitb.ac.in
Yakir VizelTechnionGeverifieerd e-mailadres voor cs.technion.ac.il
Kewal SalujaProfessor of Electrical and Computer Engineering, University of Wisconsin - MadisonGeverifieerd e-mailadres voor ece.wisc.edu
Natarajan ShankarSRI International Computer Science LaboratoryGeverifieerd e-mailadres voor csl.sri.com
Wenchao LiAssociate Professor, Boston UniversityGeverifieerd e-mailadres voor bu.edu
Aarti GuptaPrinceton UniversityGeverifieerd e-mailadres voor cs.princeton.edu
Sujit Kumar MuduliPhD Student, IIT KanpurGeverifieerd e-mailadres voor cse.iitk.ac.in
Rohit SinhaSwirlds LabsGeverifieerd e-mailadres voor berkeley.edu
Ilia Lebedevgradient.tech, MITGeverifieerd e-mailadres voor gradient.tech
Dillon ReismanGeverifieerd e-mailadres voor nyu.edu
Cameron RasmussenUC BerkeleyGeverifieerd e-mailadres voor berkeley.edu
Hongce ZhangHong Kong University of Science and Technology (Guangzhou)Geverifieerd e-mailadres voor ust.hk
Dejan JovanovićAmazon Web ServicesGeverifieerd e-mailadres voor amazon.com

Volgen

Pramod Subramanyan

Indian Institute of Technology Kanpur

Geverifieerd e-mailadres voor cse.iitk.ac.in - Homepage

formal methods security


Titel Sorteren op citaties Sorteren op jaar Sorteren op 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	851	2015
Functional analysis attacks on logic locking D Sirone, P Subramanyan IEEE Transactions on Information Forensics and Security 15, 2514-2527, 2020	202	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	169	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	162	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	138	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	123	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	115	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	96	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	79	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	60	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	57	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	56	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	54	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	44	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	39	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
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	31	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
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	25	2017

Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.

Artikelen 1–20

Citaties per jaar

Dubbele citaties

Samengevoegde citaties

Medeauteurs toevoegenMedeauteurs

Volgen

Geciteerd door

Medeauteurs