Sandip Ray 个人学术档案 - 学术资源搜索

引用次数

	总计	2019 年至今
引用	2886	1783
h 指数	29	19
i10 指数	65	33

380

190

285

2004200520062007200820092010201120122013201420152016201720182019202020212022202320249 29 15 19 30 26 69 31 44 56 61 65 110 197 213 291 274 333 343 366 174

开放获取的出版物数量

查看全部

24 篇文章

5 篇文章

可查看的文章

无法查看的文章

根据资助方的强制性开放获取政策

合著作者

Swarup BhuniaUniversity of Florida在 ece.ufl.edu 的电子邮件经过验证
Abhishek BasakResearch Scientist, Intel Labs, Intel Corporation在 intel.com 的电子邮件经过验证
Fei XieDepartment of Computer Science, Portland State University在 cs.pdx.edu 的电子邮件经过验证
Srivalli BoddupalliUniversity of Florida在 ufl.edu 的电子邮件经过验证
Atul Prasad Deb NathQualcomm Technologies, Inc.在 qti.qualcomm.com 的电子邮件经过验证
Yier JinAssociate Professor, University of Florida在 ece.ufl.edu 的电子邮件经过验证
jstrother mooreComputer Science Dept, University of Texas at Austin在 cs.utexas.edu 的电子邮件经过验证
Prabhat MishraProfessor, Univ. of Florida, IEEE Fellow, AAAS Fellow, ACM Distinguished Member在 ufl.edu 的电子邮件经过验证
Jin YangIntel Corporation在 intel.com 的电子邮件经过验证
Rosario Cammarota ("Ro")Intel Labs在 ieee.org 的电子邮件经过验证
Nikil DuttDistinguished Professor, CS, EECS & Cognitive Sciences, University of California, Irvine在 uci.edu 的电子邮件经过验证
Mark M. TehranipoorIntel Charles E. Young Endowed Chair Professor, ECE, University of Florida在 ufl.edu 的电子邮件经过验证
Warren A. Hunt, JrProfessor of Computer Science, University of Texas在 cs.utexas.edu 的电子邮件经过验证
Hamid NejatollahiUniversity of California Irvine在 uci.edu 的电子邮件经过验证
Francesco RegazzoniUniversity of Amsterdam and Università della Svizzera italiana在 alari.ch 的电子邮件经过验证
Tamzidul HoqueAssistant Professor of EECS, University of Kansas在 ku.edu 的电子邮件经过验证
Zhenkun YangPortland State University在 cs.pdx.edu 的电子邮件经过验证
Kamran RahmaniUniversity of Florida在 cise.ufl.edu 的电子邮件经过验证
Li-C. WangUniversity of California, Santa Barbara在 ece.ucsb.edu 的电子邮件经过验证
Robert KaramAssociate Professor, USF Computer Science and Engineering在 usf.edu 的电子邮件经过验证

关注

Sandip Ray

Professor, Department of Electrical and Computer Engineering, University of Florida at Gainesville

在 ece.ufl.edu 的电子邮件经过验证 - 首页

Internet of Things Security Low-power design Design validation Formal methods


标题按引用次数排序按年份排序按标题排序	引用次数引用次数	年份
Post-quantum lattice-based cryptography implementations: A survey H Nejatollahi, N Dutt, S Ray, F Regazzoni, I Banerjee, R Cammarota ACM Computing Surveys (CSUR) 51 (6), 1-41, 2019	258	2019
Internet-of-things security and vulnerabilities: Taxonomy, challenges, and practice K Chen, S Zhang, Z Li, Y Zhang, Q Deng, S Ray, Y Jin Journal of Hardware and Systems Security 2, 97-110, 2018	216	2018
The changing computing paradigm with internet of things: A tutorial introduction S Ray, Y Jin, A Raychowdhury IEEE Design & Test 33 (2), 76-96, 2016	152	2016
Challenges and trends in modern SoC design verification W Chen, S Ray, J Bhadra, M Abadir, LC Wang IEEE Design & Test 34 (5), 7-22, 2017	127	2017
A survey of hybrid techniques for functional verification J Bhadra, MS Abadir, LC Wang, S Ray IEEE Design & Test of Computers 24 (02), 112-122, 2007	98	2007
System-on-chip platform security assurance: Architecture and validation S Ray, E Peeters, MM Tehranipoor, S Bhunia Proceedings of the IEEE 106 (1), 21-37, 2017	87	2017
Security assurance for system-on-chip designs with untrusted IPs A Basak, S Bhunia, T Tkacik, S Ray IEEE Transactions on Information Forensics and Security 12 (7), 1515-1528, 2017	81	2017
Post-silicon validation in the SoC era: A tutorial introduction P Mishra, R Morad, A Ziv, S Ray IEEE Design & Test 34 (3), 68-92, 2017	80	2017
A flexible architecture for systematic implementation of SoC security policies A Basak, S Bhunia, S Ray 2015 IEEE/ACM International Conference on Computer-Aided Design (ICCAD), 536-543, 2015	64	2015
Efficient trace signal selection using augmentation and ILP techniques K Rahmani, P Mishra, S Ray Fifteenth international symposium on quality electronic design, 148-155, 2014	62	2014
Verification condition generation via theorem proving J Matthews, JS Moore, S Ray, D Vroon Logic for Programming, Artificial Intelligence, and Reasoning: 13th …, 2006	60	2006
Robust bitstream protection in FPGA-based systems through low-overhead obfuscation R Karam, T Hoque, S Ray, M Tehranipoor, S Bhunia 2016 International Conference on ReConFigurable Computing and FPGAs …, 2016	52	2016
Can't see the forest for the trees: State restoration's limitations in post-silicon trace signal selection S Ma, D Pal, R Jiang, S Ray, S Vasudevan 2015 IEEE/ACM International Conference on Computer-Aided Design (ICCAD), 1-8, 2015	50	2015
Resilient cooperative adaptive cruise control for autonomous vehicles using machine learning S Boddupalli, AS Rao, S Ray IEEE Transactions on Intelligent Transportation Systems 23 (9), 15655-15672, 2022	44	2022
System-on-chip security architecture and CAD framework for hardware patch APD Nath, S Ray, A Basak, S Bhunia 2018 23rd Asia and South Pacific Design Automation Conference (ASP-DAC), 733-738, 2018	44	2018
Exploiting design-for-debug for flexible SoC security architecture A Basak, S Bhunia, S Ray Proceedings of the 53rd Annual Design Automation Conference, 1-6, 2016	43	2016
Security policy enforcement in modern SoC designs S Ray, Y Jin 2015 IEEE/ACM International Conference on Computer-Aided Design (ICCAD), 345-350, 2015	43	2015
Efficient execution in an automated reasoning environment DA Greve, M Kaufmann, P Manolios, JS Moore, S Ray, JL Ruiz-Reina, ... Journal of Functional Programming 18 (1), 15-46, 2008	43	2008
Deductive verification of pipelined machines using first-order quantification S Ray, WA Hunt Computer Aided Verification: 16th International Conference, CAV 2004, Boston …, 2004	42	2004
Optimizing equivalence checking for behavioral synthesis K Hao, F Xie, S Ray, J Yang 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010 …, 2010	40	2010

系统目前无法执行此操作，请稍后再试。

文章 1–20

每年引用数

重复的引用

合并的引用

添加合著者合著作者

上传 PDF

关注此作者

引用次数

合著作者

引用