Pramod Subramanyan

Citirano

	Sve	Od 2018.
Citati	2218	1831
H-indeks	20	18
i10-indeks	24	20

380

190

285

2010201120122013201420152016201720182019202020212022202314 14 7 19 14 47 80 169 170 275 374 360 373 275

Javni pristup

Prikaži sve

11 članaka

0 članaka

dostupno

nije dostupno

Na temelju uvjeta financiranja

Suautori

Sharad MalikProfessor of Electrical and Computer Engineering, Princeton UniversityPotvrđena adresa e-pošte na princeton.edu
Sanjit A. SeshiaProfessor of EECS, University of California, BerkeleyPotvrđena adresa e-pošte na eecs.berkeley.edu
Sayak RaySecurity Researcher, Intel CorporationPotvrđena adresa e-pošte na intel.com
Ashish TiwariComputer Scientist, SRI International; Researcher MicrosoftPotvrđena adresa e-pošte na csl.sri.com
Adrià GascónGoogle ResearchPotvrđena adresa e-pošte na google.com
Nestan TsiskaridzeResearch Engineer at Stanford UniversityPotvrđena adresa e-pošte na stanford.edu
Erik LarssonLunds UniversitetPotvrđena adresa e-pošte na eit.lth.se
Virendra SinghAssociate Professor of Electrical Engineering, Indian Institute of Technology BombayPotvrđena adresa e-pošte na ee.iitb.ac.in
Yakir VizelTechnionPotvrđena adresa e-pošte na cs.technion.ac.il
Kewal SalujaProfessor of Electrical and Computer Engineering, University of Wisconsin - MadisonPotvrđena adresa e-pošte na ece.wisc.edu
Natarajan ShankarSRI International Computer Science LaboratoryPotvrđena adresa e-pošte na csl.sri.com
Wenchao LiAssistant Professor, Boston UniversityPotvrđena adresa e-pošte na bu.edu
Aarti GuptaPrinceton UniversityPotvrđena adresa e-pošte na cs.princeton.edu
Sujit Kumar MuduliPhD Student, IIT KanpurPotvrđena adresa e-pošte na cse.iitk.ac.in
Rohit SinhaSwirlds, Inc.Potvrđena adresa e-pošte na berkeley.edu
Ilia Lebedevgradient.tech, MITPotvrđena adresa e-pošte na gradient.tech
Dillon ReismanPotvrđena adresa e-pošte na nyu.edu
Cameron RasmussenUC BerkeleyPotvrđena adresa e-pošte na berkeley.edu
Hongce ZhangHong Kong University of Science and TechnologyPotvrđena adresa e-pošte na ust.hk
Dejan JovanovićAmazon Web ServicesPotvrđena adresa e-pošte na amazon.com

Prati

Pramod Subramanyan

Indian Institute of Technology Kanpur

Potvrđena adresa e-pošte na cse.iitk.ac.in - Početna stranica

formal methods security


Naslov Poredaj po navodima Poredaj po godini Poredaj po naslovu	Citirano Citirano	Godina
Evaluating the security of logic encryption algorithms P Subramanyan, S Ray, S Malik 2015 IEEE International Symposium on Hardware Oriented Security and Trust …, 2015	749	2015
Functional analysis attacks on logic locking D Sirone, P Subramanyan IEEE Transactions on Information Forensics and Security 15, 2514-2527, 2020	179	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	154	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	143	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	121	2017
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	105	2013
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	102	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	75	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	58	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	56	2014
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	52	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	50	2018
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	50	2016
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	44	2014
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	39	2015
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	37	2010
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	29	2010
Hyperfuzzing for soc security validation SK Muduli, G Takhar, P Subramanyan Proceedings of the 39th International Conference on Computer-Aided Design, 1-9, 2020	26	2020
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	25	2018
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	20	2017

Sustav trenutno ne može provesti ovu radnju. Pokušajte ponovo kasnije.

Članci 1–20

Godišnji broj citata

Dvostruki navodi

Spojeni navodi

Dodavanje suautoraSuautori

Prati

Citirano

Suautori