Follow
Sandip Ray
Sandip Ray
Professor, Department of Electrical and Computer Engineering, University of Florida at Gainesville
Verified email at ece.ufl.edu - Homepage
Title
Cited by
Cited by
Year
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 (2), 97-110, 2018
1382018
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
1292019
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
1172016
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
902007
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
702017
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
612014
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
602017
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
572017
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
562017
Verification condition generation via theorem proving
J Matthews, JS Moore, S Ray, D Vroon
International Conference on Logic for Programming Artificial Intelligence …, 2006
562006
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
502015
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
442016
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
442015
Deductive verification of pipelined machines using first-order quantification
S Ray, WA Hunt
International Conference on Computer Aided Verification, 31-43, 2004
422004
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
402008
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
372010
Exploiting design-for-debug for flexible SoC security architecture
A Basak, S Bhunia, S Ray
2016 53nd ACM/EDAC/IEEE Design Automation Conference (DAC), 1-6, 2016
352016
Correctness and security at odds: post-silicon validation of modern SoC designs
S Ray, J Yang, A Basak, S Bhunia
Proceedings of the 52nd Annual Design Automation Conference, 1-6, 2015
352015
Scalable techniques for formal verification
S Ray
Springer Science & Business Media, 2010
312010
Postsilicon trace signal selection using machine learning techniques
K Rahmani, S Ray, P Mishra
IEEE Transactions on Very Large Scale Integration (VLSI) Systems 25 (2), 570-580, 2016
302016
The system can't perform the operation now. Try again later.
Articles 1–20