| 2026 | VTS | VTS2026 Student Forum. | Davide Baroffio, Federico Reghenzani, William Fornaciari, Dipal Halder, Sandip Ray |
| 2025 | MASS | Bit-Flipping Attack Exploration and Countermeasure in 5G Network. | Joon Kim, Chengwei Duan, Sandip Ray |
| 2025 | MASS | Automotive Security Virtual Exploration Platform for Wheel Speed Sensor Attacks. | Kyra Nhat-Thy Vo, Bhagawat Baanav Yedla Ravi, Mustafa Mohammad Shaky, Sandip Ray |
| 2025 | VTS | CLIP: A Structural Approach to Cut Points Matching for Logic Equivalence Checking. | Dinesh Reddy Ankireddy, Sudipta Paria, Aritra Dasgupta, Sandip Ray, Swarup Bhunia |
| 2025 | VTS | Special Session: Security Verification of Microelectronic Systems with Integrated AI Accelerators: Scope, Practice, and Challenges. | Kazi Mejbaul Islam, Tambiara Tabassum, Dipal Halder, Sandip Ray |
| 2024 | FCCM | PhD Project: Reconfigurable Network on Chip Architecture Through Topology Obfuscation For Protecting SoC Against Reverse Engineering. | Dipal Halder, Sandip Ray |
| 2023 | CASES | Work-in-Progress: Towards Evaluating CNNs Against Integrity Attacks on Multi-tenant Computation. | Xiangru Chen, Dipal Halder, Kazi Mejbaul Islam, Sandip Ray |
| 2023 | iLRN | sc IVE: An Immersive Virtual Environment for Automotive Security Exploration. | Richard Owoputi, Md Rafiul Kabir, Sandip Ray |
| 2023 | ISCAS | GERALT: Real-time Detection of Evasion Attacks in Deep Learning Systems. | Xiangru Chen, Sandip Ray |
| 2023 | MOBIHOC | Poster: Efficient Exploration of Automotive Ranging Sensor Attacks. | Jack Carter, Bhagawat Baanav Yedla Ravi, Md Rafiul Kabir, Sandip Ray |
| 2023 | MOBIHOC | Poster: Scenario Creation for Immersive Automotive Security Exploration. | Aidan Kwok, Richard Owoputi, Sandip Ray |
| 2023 | MOBIHOC | Poster: Vehicle-to-Infrastructure Security for Reduced Speed Work Zone. | Patrick M. Mendoza, Tashfique Hasnine Choudhury, Sandip Ray |
| 2023 | VTC | VeCAEP: A Hands-on Exploration Platform for Vehicular Communication Attacks. | Darshith Madvinkodi Prakash, Bhagawat Baanav Yedla Ravi, Srivalli Boddupalli, Sandip Ray |
| 2022 | ASPDAC | FirVer: Concolic Testing for Systematic Validation of Firmware Binaries. | Tashfia Alam, Zhenkun Yang, Bo Chen, Nicholas Armour, Sandip Ray |
| 2021 | DAC | SoCCAR: Detecting System-on-Chip Security Violations Under Asynchronous Resets. | Xingyu Meng, Kshitij Raj, Atul Prasad Deb Nath, Kanad Basu, Sandip Ray |
| 2021 | DATE | CASTLE: Architecting Assured System-on-Chip Firmware Integrity. | Sandip Ray, Atul Prasad Deb Nath, Kshitij Raj, Swarup Bhunia |
| 2021 | ETS | Synergies Between Delay Test and Post-silicon Speed Path Validation: A Tutorial Introduction. | Sandip Ray, Arani Sinha |
| 2021 | ICCD | Universal Neural Network Acceleration via Real-Time Loop Blocking. | Jiaqi Zhang, Xiangru Chen, Sandip Ray |
| 2018 | ASPDAC | System-on-chip security architecture and CAD framework for hardware patch. | Atul Prasad Deb Nath, Sandip Ray, Abhishek Basak, Swarup Bhunia |
| 2018 | DAC | Application level hardware tracing for scaling post-silicon debug. | Debjit Pal, Abhishek Sharma, Sandip Ray, Flavio M. de Paula, Shobha Vasudevan |
| 2018 | DAC | Protecting the supply chain for automotives and IoTs. | Sandip Ray, Wen Chen, Rosario Cammarota |
| 2017 | ASPDAC | MUTARCH: Architectural diversity for FPGA device and IP security. | Robert Karam, Tamzidul Hoque, Sandip Ray, Mark Tehranipoor, Swarup Bhunia |
| 2017 | DAC | Extensibility in Automotive Security: Current Practice and Challenges: Invited. | Sandip Ray, Wen Chen, Jayanta Bhadra, Mohammad Abdullah Al Faruque |
| 2017 | ICCAD | Transportation security in the era of autonomous vehicles: Challenges and practice. | Sandip Ray |
| 2017 | ICCD | A Post-Silicon Trace Analysis Approach for System-on-Chip Protocol Debug. | Yuting Cao, Hao Zheng, Hernan M. Palombo, Sandip Ray, Jin Yang |
| 2016 | DAC | Exploiting design-for-debug for flexible SoC security architecture. | Abhishek Basak, Swarup Bhunia, Sandip Ray |
| 2016 | DATE | Exploiting transaction level models for observability-aware post-silicon test generation. | Farimah Farahmandi, Prabhat Mishra, Sandip Ray |
| 2016 | DATE | Validating scheduling transformation for behavioral synthesis. | Zhenkun Yang, Kecheng Hao, Kai Cong, Li Lei, Sandip Ray, Fei Xie |
| 2016 | ICCAD | Multilevel design understanding: from specification to logic (invited paper). | Sandip Ray, Ian G. Harris, Grschwin Fey, Mathias Soeken |
| 2016 | ICCD | The power play: Security-energy trade-offs in the IoT regime. | Sandip Ray, Tamzidul Hoque, Abhishek Basak, Swarup Bhunia |
| 2016 | VTS | Security validation in IoT space. | Sandip Ray, Swarup Bhunia, Yier Jin, Mark Tehranipoor |
| 2015 | DAC | Correctness and security at odds: post-silicon validation of modern SoC designs. | Sandip Ray, Jin Yang, Abhishek Basak, Swarup Bhunia |
| 2015 | FMCAD | Transaction Flows and Executable Models: Formalization and Analysis of Message passing Protocols. | Murali Talupur, Sandip Ray, John Erickson |
| 2015 | ICCAD | A Flexible Architecture for Systematic Implementation of SoC Security Policies. | Abhishek Basak, Swarup Bhunia, Sandip Ray |
| 2015 | ICCAD | Can't See the Forest for the Trees: State Restoration's Limitations in Post-silicon Trace Signal Selection. | Sai Ma, Debjit Pal, Rui Jiang, Sandip Ray, Shobha Vasudevan |
| 2015 | ICCAD | Security Policy Enforcement in Modern SoC Designs. | Sandip Ray, Yier Jin |
| 2014 | DAC | Scalable Certification Framework for Behavioral Synthesis Front-End. | Zhenkun Yang, Kecheng Hao, Kai Cong, Li Lei, Sandip Ray, Fei Xie |
| 2014 | DATE | Equivalence checking for function pipelining in behavioral synthesis. | Kecheng Hao, Sandip Ray, Fei Xie |
| 2014 | ITP | Mechanical Certification of Loop Pipelining Transformations: A Preview. | Disha Puri, Sandip Ray, Kecheng Hao, Fei Xie |
| 2013 | DAC | Handling design and implementation optimizations in equivalence checking for behavioral synthesis. | Zhenkun Yang, Sandip Ray, Kecheng Hao, Fei Xie |
| 2013 | FMCAD | Preface. | Barbara Jobstmann, Sandip Ray |
| 2013 | ICCD | Scalable trace signal selection using machine learning. | Kamran Rahmani, Prabhat Mishra, Sandip Ray |
| 2013 | ICCD | Equivalence checking for compiler transformations in behavioral synthesis. | Zhenkun Yang, Kecheng Hao, Kai Cong, Sandip Ray, Fei Xie |
| 2012 | DAC | Equivalence checking for behaviorally synthesized pipelines. | Kecheng Hao, Sandip Ray, Fei Xie |
| 2010 | DATE | Optimizing equivalence checking for behavioral synthesis. | Kecheng Hao, Fei Xie, Sandip Ray, Jin Yang |
| 2010 | VTS | Innovative practices session 7C: Verification and testing challenges in high-level synthesis. | Sandip Ray, Jayanta Bhadra |
| 2009 | ATVA | Formal Verification for High-Assurance Behavioral Synthesis. | Sandip Ray, Kecheng Hao, Yan Chen, Fei Xie, Jin Yang |
| 2009 | FMCAD | Connecting pre-silicon and post-silicon verification. | Sandip Ray, Warren A. Hunt Jr. |
| 2008 | FMCAD | Mechanized Information Flow Analysis through Inductive Assertions. | Warren A. Hunt Jr., Robert Bellarmine Krug, Sandip Ray, William D. Young |
| 2007 | FMCAD | A Mechanized Refinement Framework for Analysis of Custom Memories. | Sandip Ray, Jayanta Bhadra |
| 2006 | LPAR | Verification Condition Generation Via Theorem Proving. | John Matthews, J Strother Moore, Sandip Ray, Daron Vroon |
| 2004 | CAV | Deductive Verification of Pipelined Machines Using First-Order Quantification. | Sandip Ray, Warren A. Hunt Jr. |
| 2004 | FMCAD | Proof Styles in Operational Semantics. | Sandip Ray, J Strother Moore |