Faculty

Institution

Unit

Venue

Sandip Ray

Professor

University of Florida

Affiliations

Herbert Wertheim College of Engineering

Department of Electrical & Computer Engineering

Engineering Leadership Institute

Sandip Ray is currently serving as an Electrical & Computer Engineering Professor at University of Florida.

Honors

Create free account to unlock more features

Experiences

Create free account to unlock more features

Education

Create free account to unlock more features

Sandip Ray

University of Florida

Professor

You can click a keyword to filter the displayed items

systems engineering computer science computer security machine learning electrical engineering hardware security formal methods information security internet of things design automotive security formal verification verification information technology computer-aided design vehicular technology behavioral synthesis automated reasoning communication security equivalence checking logic in computer science tutorial introduction system-on-chip designs security validation data security design automation iot security system on chip soc security information forensics system safety power electronics reliability engineering wearable electronics failure detection software verification software certification virtual prototyping functional verification adaptive control operational semantics model checking vlsi design automotive engineering verification and validation threat detection autonomous vehicles modern soc designs noc fabrics hardware patch vehicular electronics post-silicon debug automotive systems automatic control mathematical optimization wireless communications vlsi technology resilience engineering security theory algorithm design control system security spectrum management program checking test data generation test development message passing mobile security safety systems safety-critical systems software security supply chain security concurrent programming internet-of-things security soc era post-silicon validation hybrid techniques dependable system architecture hardware verification language computer engineering trustworthy computing cryptographic hardware model verification reconfigurable platforms computer-aided verification

Notable Scholarly Works

Notable Federal Grants

Collaborators

$\Recap$: Protecting Cooperative Adaptive Cruise Control Against Multi-Channel Perception Adversary. IEEE Transactions on Intelligent Transportation Systems (2024)

Srivalli BoddupalliChung-Wei LinSandip Ray

intelligent transportation systemsadaptive controlmulti-channel perception adversarysystems engineering

AQUATWIN: A Digital Twin Framework for Early Detection of Water Contamination. (2024)

Md Rafiul KabirSumaiya Afroz MilaSandip Ray

environmental sciencedigital twin frameworkenvironmental monitoringwater contamination

Automotive Functional Safety: Scope, Standards, and Perspectives on Practice. IEEE Consumer Electronics Magazine (2024)

Md Rafiul KabirSrivalli BoddupalliAtul Prasad Deb NathSandip Ray

automotive functional safetyengineeringfunctional safetyautomotive engineeringelectrical engineeringsafety

Digital Twins for Iot-Driven Energy Systems: A Survey. IEEE Access (2024)

Md Rafiul KabirDipal HalderSandip Ray

iot-driven energy systemssustainable energymobile computingcomputer sciencesmart gridedge computingiot systemenergy systemsinternet of thingsindustrial iotsmart energyenergy researchvehicular technologyintelligent energy systemenergy iotinformation technologyenergy managementsystems engineeringtechnologydigital twins

DRIFT: Resilient Distributed Coordinated Fleet Management Against Communication Attacks. 2022 IEEE Intelligent Vehicles Symposium (IV) (2024)

Richard OwoputiSrivalli BoddupalliJabari WilsonSandip Ray

systems engineeringresiliencecommunication attacksstabilitydistributed managementfleet managementinformation security

Dt-Iomt: A Digital Twin Reference Model for Secure Internet of Medical Things. (2024)

Md Rafiul KabirSandip Ray

secure internetmedical thingsdigital twinningtechnologyinternet securityinternet of things

Nuclear Quadrupole Resonance for Substance Detection. IEEE Access (2024)

Kelsey L. Horace-HerronNaren Vikram Raj MasnaSwarup BhuniaSoumyajit MandalSandip Ray

biophysicsspectroscopydetection techniquesubstance detectiondrug analysisneurosciencenuclear quadrupole resonancepharmacologyanalytical chemistry

Phd Project: Reconfigurable Network on Chip Architecture Through Topology Obfuscation for Protecting Soc Against Reverse Engineering. (2024)

Dipal HalderSandip Ray

hardware securitynetwork on chiptopology obfuscationcomputer engineeringchip architecturereconfigurable architecturesphd projectreconfigurable network

POTENT: Post-Synthesis Obfuscation for Secure Network-On-Chip Architectures. (2024)

Dipal HalderYuntao LiuKostas AmberiadisAnkur SrivastavaSandip Ray

secure network-on-chip architecturessecure computinghardware securitynetwork on chipobfuscation (software)computer engineeringpost-synthesis obfuscation

System-On-Chip Information Flow Validation Under Asynchronous Resets. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (2024)

Samit S. MiftahKshitij RajXingyu MengSandip RayKanad Basu

computer-aided designpower electronicscircuit designsystems engineeringelectronic designcyber-physical systemsvlsi designasynchronous resetscomputer engineeringsystem on chipelectronicselectrical engineeringelectronic engineering

1
2
3
4
5
17
10 / page

Sandip Ray

Professor

University of Florida

Affiliations

Herbert Wertheim College of Engineering

Department of Electrical & Computer Engineering

Engineering Leadership Institute

Sandip Ray is currently serving as an Electrical & Computer Engineering Professor at University of Florida.

Honors

Create free account to unlock more features

Experiences

Create free account to unlock more features

Education

Create free account to unlock more features

Sandip Ray

University of Florida

Professor

You can click a keyword to filter the displayed items

Notable Scholarly Works

Notable Federal Grants

Collaborators

$\Recap$: Protecting Cooperative Adaptive Cruise Control Against Multi-Channel Perception Adversary. IEEE Transactions on Intelligent Transportation Systems (2024)

Srivalli BoddupalliChung-Wei LinSandip Ray

intelligent transportation systemsadaptive controlmulti-channel perception adversarysystems engineering

AQUATWIN: A Digital Twin Framework for Early Detection of Water Contamination. (2024)

Md Rafiul KabirSumaiya Afroz MilaSandip Ray

environmental sciencedigital twin frameworkenvironmental monitoringwater contamination

Automotive Functional Safety: Scope, Standards, and Perspectives on Practice. IEEE Consumer Electronics Magazine (2024)

Md Rafiul KabirSrivalli BoddupalliAtul Prasad Deb NathSandip Ray

automotive functional safetyengineeringfunctional safetyautomotive engineeringelectrical engineeringsafety

Digital Twins for Iot-Driven Energy Systems: A Survey. IEEE Access (2024)

Md Rafiul KabirDipal HalderSandip Ray

DRIFT: Resilient Distributed Coordinated Fleet Management Against Communication Attacks. 2022 IEEE Intelligent Vehicles Symposium (IV) (2024)

Richard OwoputiSrivalli BoddupalliJabari WilsonSandip Ray

systems engineeringresiliencecommunication attacksstabilitydistributed managementfleet managementinformation security

Dt-Iomt: A Digital Twin Reference Model for Secure Internet of Medical Things. (2024)

Md Rafiul KabirSandip Ray

secure internetmedical thingsdigital twinningtechnologyinternet securityinternet of things

Nuclear Quadrupole Resonance for Substance Detection. IEEE Access (2024)

Kelsey L. Horace-HerronNaren Vikram Raj MasnaSwarup BhuniaSoumyajit MandalSandip Ray

biophysicsspectroscopydetection techniquesubstance detectiondrug analysisneurosciencenuclear quadrupole resonancepharmacologyanalytical chemistry

Phd Project: Reconfigurable Network on Chip Architecture Through Topology Obfuscation for Protecting Soc Against Reverse Engineering. (2024)

Dipal HalderSandip Ray

hardware securitynetwork on chiptopology obfuscationcomputer engineeringchip architecturereconfigurable architecturesphd projectreconfigurable network

POTENT: Post-Synthesis Obfuscation for Secure Network-On-Chip Architectures. (2024)

Dipal HalderYuntao LiuKostas AmberiadisAnkur SrivastavaSandip Ray

secure network-on-chip architecturessecure computinghardware securitynetwork on chipobfuscation (software)computer engineeringpost-synthesis obfuscation

System-On-Chip Information Flow Validation Under Asynchronous Resets. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (2024)

Samit S. MiftahKshitij RajXingyu MengSandip RayKanad Basu

1
2
3
4
5
17
10 / page

Similar Faculty Members

Farimah Farahmandi

Institution

University of Florida

cryptographic hardware

hardware security verification

Jerzy W Rozenblit

Institution

University of Arizona

design automation

computer-based systems

Samuel Pagliarini

Institution

Carnegie Mellon University

cryptographic hardware

design automation

Prabhat Mishra

Institution

University of Florida

industrial informatics

embedded system

Sanjit A Seshia

Institution

University of California, Berkeley

computer science

systems engineering

Bryan Parno

Institution

Carnegie Mellon University

data security

cybersecurity system

Srinivas Katkoori

Institution

University of South Florida

design for testing

design automation

Clark Barrett

Institution

Stanford University

computer science

formal methods

Salim A Hariri

Institution

University of Arizona

industrial informatics

grid computing

Mark Tehranipoor

Institution

University of Florida

cryptographic hardware

computer engineering

Similar Faculty Members

Farimah Farahmandi

Institution

University of Florida

cryptographic hardware

hardware security verification

Jerzy W Rozenblit

Institution

University of Arizona

design automation

computer-based systems

Samuel Pagliarini

Institution

Carnegie Mellon University

cryptographic hardware

design automation

Prabhat Mishra

Institution

University of Florida

industrial informatics

embedded system

Sanjit A Seshia

Institution

University of California, Berkeley

computer science

systems engineering

Bryan Parno

Institution

Carnegie Mellon University

data security

cybersecurity system

Srinivas Katkoori

Institution

University of South Florida

design for testing

design automation

Clark Barrett

Institution

Stanford University

computer science

formal methods

Salim A Hariri

Institution

University of Arizona

industrial informatics

grid computing

Mark Tehranipoor

Institution

University of Florida

cryptographic hardware

computer engineering