Sandip Ray - RankMe

153 papers A* 10A 10B 15C 17Misc 6Journal 59Unranked 33

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Immersive Virtual Environment for Automotive Security Education. IEEE Trans. Educ. Richard Owoputi, Aidan Kwok, Zifeng Liu, Wangda Zhu, Wanli Xing, Sandip Ray
2026	J	`jnl`	Security of Multitenant Systems: A Survey. IEEE Access Godstime Kemele, Sandip Ray
2025	J	`jnl`	Automotive Functional Safety: Scope, Standards, and Perspectives on Practice. IEEE Consumer Electron. Mag. Md Rafiul Kabir, Srivalli Boddupalli, Atul Prasad Deb Nath, Sandip Ray
2025	B	`conf`	Automotive Security Virtual Exploration Platform for Wheel Speed Sensor Attacks. MASS Kyra Nhat-Thy Vo, Bhagawat Baanav Yedla Ravi, Mustafa Mohammad Shaky, Sandip Ray
2025	B	`conf`	Bit-Flipping Attack Exploration and Countermeasure in 5G Network. MASS Joon Kim, Chengwei Duan, Sandip Ray
2025	J	`jnl`	Bit-Flipping Attack Exploration and Countermeasure in 5G Network. CoRR Joon Kim, Chengwei Duan, Sandip Ray
2025	Misc	`conf`	CLIP: A Structural Approach to Cut Points Matching for Logic Equivalence Checking. VTS Dinesh Reddy Ankireddy, Sudipta Paria, Aritra Dasgupta, Sandip Ray, Swarup Bhunia
2025	J	`jnl`	Digital twins in healthcare IoT: A systematic review. High Confid. Comput. Md Rafiul Kabir, Fairuz Shadmani Shishir, Sumaiya Shomaji, Sandip Ray
2025	J	`jnl`	HEMA: A Hands-on Exploration Platform for MEMS Sensor Attacks. CoRR Bhagawat Baanav Yedla Ravi, Md Rafiul Kabir, Sandip Ray
2025	C	`conf`	Hands-on Exploration and Learning Platform for Automotive Wheel Speed Sensor Attacks. ICCE Bhagawat Baanav Yedla Ravi, Sandip Ray
2025	C	`conf`	IoT-Based Approach for Vehicular Health Monitoring. ICCE Bhagawat Baanav Yedla Ravi, Sandip Ray
2025	J	`jnl`	LASA: Enhancing SoC Security Verification with LLM-Aided Property Generation. CoRR Dinesh Reddy Ankireddy, Sudipta Paria, Aritra Dasgupta, Sandip Ray, Swarup Bhunia
2025	—	`conf`	LASSO: LLM-Aided Security Property Generation for Assertion-based SoC Verification. MLCAD Dinesh Reddy Ankireddy, Sudipta Paria, Aritra Dasgupta, Sandip Ray, Swarup Bhunia
2025	J	`jnl`	MASC: Wearable Design for Infectious Disease Detection Through Machine Learning. IEEE Access Sumaiya Afroz Mila, Bhagawat Baanav Yedla Ravi, Md Rafiul Kabir, Sandip Ray
2025	J	`jnl`	Security Enclave Architecture for Heterogeneous Security Primitives for Supply-Chain Attacks. CoRR Kshitij Raj, Atri Chatterjee, Patanjali SLPSK, Swarup Bhunia, Sandip Ray
2025	Misc	`conf`	Special Session: Security Verification of Microelectronic Systems with Integrated AI Accelerators: Scope, Practice, and Challenges. VTS Kazi Mejbaul Islam, Tambiara Tabassum, Dipal Halder, Sandip Ray
2024	C	`conf`	Adaptive Robotic Arm System for Wheelchair Assistance in Autonomous Vehicles. ICCE Arhona Bhadra, Sandip Ray
2024	J	`jnl`	Correct-by-Construction Design of Custom Accelerator Microarchitectures. IEEE Trans. Computers Jin Yang, Zhenkun Yang, Jeremy Casas, Sandip Ray
2024	C	`conf`	DRIFT: Resilient Distributed Coordinated Fleet Management Against Communication Attacks. IV Richard Owoputi, Srivalli Boddupalli, Jabari Wilson, Sandip Ray
2024	—	`conf`	DT-IoMT: A Digital Twin Reference Model for Secure Internet of Medical Things. ISVLSI Md Rafiul Kabir, Sandip Ray
2024	J	`jnl`	Digital Twins for IoT-Driven Energy Systems: A Survey. IEEE Access Md Rafiul Kabir, Dipal Halder, Sandip Ray
2024	—	`conf`	Exploration and Detection of Cyber-Attacks on MPC-Based Vehicular Platoons. ITSC Tashfique Hasnine Choudhury, Chengwei Duan, Hanyu Zhang, Lili Du, Sandip Ray
2024	J	`jnl`	Guarding Deep Learning Systems With Boosted Evasion Attack Detection and Model Update. IEEE Internet Things J. Xiangru Chen, Dipal Halder, Kazi Mejbaul Islam, Sandip Ray
2024	—	`conf`	Intelligent Automated Vehicles for Passengers with Visual Disability. SmartIoT Sambit Kanjilal, Sandip Ray
2024	J	`jnl`	Nuclear Quadrupole Resonance for Substance Detection. IEEE Access Kelsey L. Horace-Herron, Naren Vikram Raj Masna, Swarup Bhunia, Soumyajit Mandal, Sandip Ray
2024	Misc	`conf`	PhD Project: Reconfigurable Network on Chip Architecture Through Topology Obfuscation For Protecting SoC Against Reverse Engineering. FCCM Dipal Halder, Sandip Ray
2024	—	`conf`	PoTeNt: Post-Synthesis Obfuscation for Secure Network-on-Chip Architectures. SOCC Dipal Halder, Yuntao Liu, Kostas Amberiadis, Ankur Srivastava, Sandip Ray
2024	J	`jnl`	ReCAP: Protecting Cooperative Adaptive Cruise Control Against Multi-Channel Perception Adversary. IEEE Trans. Intell. Transp. Syst. Srivalli Boddupalli, Chung-Wei Lin, Sandip Ray
2024	J	`jnl`	System-on-Chip Information Flow Validation Under Asynchronous Resets. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Samit Shahnawaz Miftah, Kshitij Raj, Xingyu Meng, Sandip Ray, Kanad Basu
2024	—	`conf`	Trimming The Fat: A Minimum-Security Architecture for Protecting SoC Designs Against Supply Chain Threats. ISQED Kshitij Raj, Aritra Bhattacharyay, Swarup Bhunia, Sandip Ray
2024	J	`jnl`	ViSE: Digital Twin Exploration for Automotive Functional Safety and Cybersecurity. J. Hardw. Syst. Secur. Md Rafiul Kabir, Sandip Ray
2024	J	`jnl`	VirSoC: Automatic Synthesis of Virtual System-on-Chip Environments. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Tashfia Alam, Indira Bhoomareddy Ramaiah, Sandip Ray
2023	J	`jnl`	A Virtual Prototyping Platform for Exploration of Vehicular Electronics. IEEE Internet Things J. Md Rafiul Kabir, Bhagawat Baanav Yedla Ravi, Sandip Ray
2023	J	`jnl`	AINNS: All-Inclusive Neural Network Scheduling Via Accelerator Formalization. IEEE Trans. Computers Jiaqi Zhang, Xiangru Chen, Sandip Ray
2023	J	`jnl`	AroMa: Evaluating Deep Learning Systems for Stealthy Integrity Attacks on Multi-tenant Accelerators. ACM J. Emerg. Technol. Comput. Syst. Xiangru Chen, Maneesh Merugu, Jiaqi Zhang, Sandip Ray
2023	C	`conf`	Continuous Monitoring for Diagnosis: A Wearable for Covid-19 Detection in Symptomatic Patients. ICCE Sumaiya Afroz Mila, Md Rafiul Kabir, Sandip Ray
2023	C	`conf`	Exploration of Machine Learning Attacks in Automotive Systems Using Physical and Mixed Reality Platforms. ICCE Venkata Sai Gireesh Chamarthi, Xiangru Chen, Bhagawat Baanav Yedla Ravi, Sandip Ray
2023	C	`conf`	GERALT: Real-time Detection of Evasion Attacks in Deep Learning Systems. ISCAS Xiangru Chen, Sandip Ray
2023	J	`jnl`	ObNoCs: Protecting Network-on-Chip Fabrics Against Reverse-Engineering Attacks. CoRR Dipal Halder, Maneesh Merugu, Sandip Ray
2023	J	`jnl`	ObNoCs: Protecting Network-on-Chip Fabrics Against Reverse-Engineering Attacks. ACM Trans. Embed. Comput. Syst. Dipal Halder, Maneesh Merugu, Sandip Ray
2023	B	`conf`	Poster: Efficient Exploration of Automotive Ranging Sensor Attacks. MobiHoc Jack Carter, Bhagawat Baanav Yedla Ravi, Md Rafiul Kabir, Sandip Ray
2023	B	`conf`	Poster: Scenario Creation for Immersive Automotive Security Exploration. MobiHoc Aidan Kwok, Richard Owoputi, Sandip Ray
2023	B	`conf`	Poster: Vehicle-to-Infrastructure Security for Reduced Speed Work Zone. MobiHoc Patrick M. Mendoza, Tashfique Hasnine Choudhury, Sandip Ray
2023	J	`jnl`	SeVNoC: Security Validation of System-on-Chip Designs With NoC Fabrics. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Xingyu Meng, Kshitij Raj, Sandip Ray, Kanad Basu
2023	J	`jnl`	TREEHOUSE: A Secure Asset Management Infrastructure for Protecting 3DIC Designs. IEEE Trans. Computers Patanjali SLPSK, Sandip Ray, Swarup Bhunia
2023	—	`conf`	VeCAEP: A Hands-on Exploration Platform for Vehicular Communication Attacks. VTC2023-Spring Darshith Madvinkodi Prakash, Bhagawat Baanav Yedla Ravi, Srivalli Boddupalli, Sandip Ray
2023	J	`jnl`	Virtual Prototyping for Modern Internet-of-Things Applications: A Survey. IEEE Access Md Rafiul Kabir, Sandip Ray
2023	Misc	`conf`	Work-in-Progress: Towards Evaluating CNNs Against Integrity Attacks on Multi-tenant Computation. CASES Xiangru Chen, Dipal Halder, Kazi Mejbaul Islam, Sandip Ray
2023	C	`conf`	sc IVE: An Immersive Virtual Environment for Automotive Security Exploration. iLRN Richard Owoputi, Md Rafiul Kabir, Sandip Ray
2022	C	`conf`	Autohal: An Exploration Platform for Ranging Sensor Attacks on Automotive Systems. ICCE Bhagawat Baanav Yedla Ravi, Md Rafiul Kabir, Neha Mishra, Srivalli Boddupalli, Sandip Ray
2022	—	`conf`	CAVELIER: Automated Security Evaluation for Connected Autonomous Vehicle Applications. ITSC Srivalli Boddupalli, Venkata Sai Gireesh Chamarthi, Chung-Wei Lin, Sandip Ray
2022	J	`jnl`	Dandelion: Boosting DNN Usability Under Dataset Scarcity. IEEE Trans. Computers Xiangru Chen, Jiaqi Zhang, Sandip Ray
2022	C	`conf`	Deep-Learning-Based Anomaly Detection for Lane-Changing Decisions. IV Sheng-Li Wang, Chien Lin, Srivalli Boddupalli, Chung-Wei Lin, Sandip Ray
2022	—	`conf`	FirVer: Concolic Testing for Systematic Validation of Firmware Binaries. ASP-DAC Tashfia Alam, Zhenkun Yang, Bo Chen, Nicholas Armour, Sandip Ray
2022	J	`jnl`	GCONV Chain: Optimizing the Whole-Life Cost in End-to-end CNN Acceleration. IEEE Trans. Computers Jiaqi Zhang, Xiangru Chen, Sandip Ray
2022	J	`jnl`	HASTE: Software Security Analysis for Timing Attacks on Clear Hardware Assumption. IEEE Embed. Syst. Lett. Prabuddha Chakraborty, Jonathan Cruz, Christopher Posada, Sandip Ray, Swarup Bhunia
2022	—	`conf`	Resiliency in Connected Vehicle Applications: Challenges and Approaches for Security Validation. ACM Great Lakes Symposium on VLSI Srivalli Boddupalli, Richard Owoputi, Chengwei Duan, Tashfique Hasnine Choudhury, Sandip Ray
2022	J	`jnl`	Resilient Cooperative Adaptive Cruise Control for Autonomous Vehicles Using Machine Learning. IEEE Trans. Intell. Transp. Syst. Srivalli Boddupalli, Akash Someshwar Rao, Sandip Ray
2022	J	`jnl`	Security of Multi-Agent Cyber-Physical Systems: A Survey. IEEE Access Richard Owoputi, Sandip Ray
2022	J	`jnl`	SoCCom: Automated Synthesis of System-on-Chip Architectures. IEEE Trans. Very Large Scale Integr. Syst. Atul Prasad Deb Nath, Kshitij Raj, Swarup Bhunia, Sandip Ray
2021	A	`conf`	CASTLE: Architecting Assured System-on-Chip Firmware Integrity. DATE Sandip Ray, Atul Prasad Deb Nath, Kshitij Raj, Swarup Bhunia
2021	—	`conf`	Deep-Learning-Based Intrusion Detection for Autonomous Vehicle-Following Systems. ITSC Sheng-Li Wang, Sing-Yao Wu, Ching-Chu Lin, Srivalli Boddupalli, Po-Jui Chang, Chung-Wei Lin, Chi-Sheng Shih, Sandip Ray
2021	C	`conf`	Do VIR: Virtualizing Food Donation Distribution through Mobile Application and Cloud-Based Supply Chain Management. ICCE Divy Chhibber, Aditi Tripathi, Sandip Ray
2021	J	`jnl`	Optimizing the Whole-life Cost in End-to-end CNN Acceleration. CoRR Jiaqi Zhang, Xiangru Chen, Sandip Ray, Tao Li
2021	—	`conf`	Replace: Real-time Security Assurance in Vehicular Platoons Against V2V Attacks. ITSC Srivalli Boddupalli, Ashwini Hegde, Sandip Ray
2021	J	`jnl`	Resilient Cooperative Adaptive Cruise Control for Autonomous Vehicles Using Machine Learning. CoRR Srivalli Boddupalli, Akash Someshwar Rao, Sandip Ray
2021	—	`conf`	SSEL: An Extensible Specification Language for SoC Security. AsianHOST Kshitij Raj, Arrush Hegde, Atul Prasad Deb Nath, Swarup Bhunia, Sandip Ray
2021	A*	`conf`	SoCCAR: Detecting System-on-Chip Security Violations Under Asynchronous Resets. DAC Xingyu Meng, Kshitij Raj, Atul Prasad Deb Nath, Kanad Basu, Sandip Ray
2021	J	`jnl`	SoCCAR: Detecting System-on-Chip Security Violations Under Asynchronous Resets. IACR Cryptol. ePrint Arch. Xingyu Meng, Kshitij Raj, Atul Prasad Deb Nath, Kanad Basu, Sandip Ray
2021	B	`conf`	Synergies Between Delay Test and Post-silicon Speed Path Validation: A Tutorial Introduction. ETS Sandip Ray, Arani Sinha
2021	—	`conf`	The Curious Case of Trusted IC Provisioning in Untrusted Testing Facilities. ACM Great Lakes Symposium on VLSI Sandip Ray, Atul Prasad Deb Nath, Kshitij Raj, Swarup Bhunia
2021	C	`conf`	Universal Neural Network Acceleration via Real-Time Loop Blocking. ICCD Jiaqi Zhang, Xiangru Chen, Sandip Ray
2021	—	`conf`	VIVE: Virtualization of Vehicular Electronics for System-level Exploration. ITSC Md Rafiul Kabir, Neha Mishra, Sandip Ray
2020	J	`jnl`	A Post-Silicon Trace Analysis Approach for System-on-Chip Protocol Debug. CoRR Yuting Cao, Hao Zheng, Sandip Ray, Jin Yang
2020	—	`ed.`	Internet of Things. A Confluence of Many Disciplines - Second IFIP International Cross-Domain Conference, IFIPIoT 2019, Tampa, FL, USA, October 31 - November 1, 2019, Revised Selected Papers IFIPIoT Augusto Casaca, Srinivas Katkoori, Sandip Ray, Leon Strous
2020	J	`jnl`	Resilient System-on-Chip Designs With NoC Fabrics. IEEE Trans. Inf. Forensics Secur. Atul Prasad Deb Nath, Srivalli Boddupalli, Swarup Bhunia, Sandip Ray
2019	—	`conf`	A Communication-Centric Observability Selection for Post-Silicon System-on-Chip Integration Debug. ISQED Yuting Cao, Hao Zheng, Sandip Ray
2019	J	`jnl`	A Communication-Centric Observability Selection for Post-Silicon System-on-Chip Integration Debug. CoRR Yuting Cao, Hao Zheng, Sandip Ray
2019	—	`ch.`	An Adaptable System-on-Chip Security Architecture for Internet of Things Applications. Security and Fault Tolerance in Internet of Things Atul Prasad Deb Nath, Tamzidul Hoque, Sandip Ray, Swarup Bhunia
2019	J	`jnl`	Guest Editors' Introduction: Secure Automotive Systems. IEEE Des. Test Sandip Ray, Ahmad-Reza Sadeghi, Mohammad Abdullah Al Faruque
2019	J	`jnl`	Post-Quantum Lattice-Based Cryptography Implementations: A Survey. ACM Comput. Surv. Hamid Nejatollahi, Nikil D. Dutt, Sandip Ray, Francesco Regazzoni, Indranil Banerjee, Rosario Cammarota
2019	—	`conf`	REDEM: Real-Time Detection and Mitigation of Communication Attacks in Connected Autonomous Vehicle Applications. IFIPIoT Srivalli Boddupalli, Sandip Ray
2019	C	`conf`	Safety, Security, and Reliability: The Automotive Robustness Problem and an Architectural Solution. ICCE Sandip Ray
2019	J	`jnl`	Security of Emergent Automotive Systems: A Tutorial Introduction and Perspectives on Practice. IEEE Des. Test Anthony Bahadir Lopez, Arnav Vaibhav Malawade, Mohammad Abdullah Al Faruque, Srivalli Boddupalli, Sandip Ray
2018	A*	`conf`	Application level hardware tracing for scaling post-silicon debug. DAC Debjit Pal, Abhishek Sharma, Sandip Ray, Flavio M. de Paula, Shobha Vasudevan
2018	—	`conf`	ArtiFact: Architecture and CAD Flow for Efficient Formal Verification of SoC Security Policies. ISVLSI Atul Prasad Deb Nath, Swarup Bhunia, Sandip Ray
2018	—	`conf`	Enhancing Observability for Post-Silicon Debug with On-chip Communication Monitors. ISVLSI Yuting Cao, Hernan M. Palombo, Sandip Ray, Hao Zheng
2018	J	`jnl`	Internet-of-Things Security and Vulnerabilities: Taxonomy, Challenges, and Practice. J. Hardw. Syst. Secur. Kejun Chen, Shuai Zhang, Zhikun Li, Yi Zhang, Qingxu Deng, Sandip Ray, Yier Jin
2018	A*	`conf`	Protecting the supply chain for automotives and IoTs. DAC Sandip Ray, Wen Chen, Rosario Cammarota
2018	J	`jnl`	System-on-Chip Platform Security Assurance: Architecture and Validation. Proc. IEEE Sandip Ray, Eric Peeters, Mark Tehranipoor, Swarup Bhunia
2018	—	`conf`	System-on-chip security architecture and CAD framework for hardware patch. ASP-DAC Atul Prasad Deb Nath, Sandip Ray, Abhishek Basak, Swarup Bhunia
2017	C	`conf`	A Post-Silicon Trace Analysis Approach for System-on-Chip Protocol Debug. ICCD Yuting Cao, Hao Zheng, Hernan M. Palombo, Sandip Ray, Jin Yang
2017	J	`jnl`	Challenges and Trends in Modern SoC Design Verification. IEEE Des. Test Wen Chen, Sandip Ray, Jayanta Bhadra, Magdy S. Abadir, Li-C. Wang
2017	A*	`conf`	Extensibility in Automotive Security: Current Practice and Challenges: Invited. DAC Sandip Ray, Wen Chen, Jayanta Bhadra, Mohammad Abdullah Al Faruque
2017	J	`jnl`	Guest Editorial: Security Challenges in the IoT Regime. J. Hardw. Syst. Secur. Sandip Ray, Yier Jin
2017	—	`conf`	MUTARCH: Architectural diversity for FPGA device and IP security. ASP-DAC Robert Karam, Tamzidul Hoque, Sandip Ray, Mark Tehranipoor, Swarup Bhunia
2017	J	`jnl`	Post-Silicon Validation in the SoC Era: A Tutorial Introduction. IEEE Des. Test Prabhat Mishra, Ronny Morad, Avi Ziv, Sandip Ray
2017	J	`jnl`	Postsilicon Trace Signal Selection Using Machine Learning Techniques. IEEE Trans. Very Large Scale Integr. Syst. Kamran Rahmani, Sandip Ray, Prabhat Mishra
2017	J	`jnl`	Security Assurance for System-on-Chip Designs With Untrusted IPs. IEEE Trans. Inf. Forensics Secur. Abhishek Basak, Swarup Bhunia, Thomas E. Tkacik, Sandip Ray
2017	—	`conf`	System-on-chip security assurance for IoT devices: Cooperations and conflicts. CICC Sandip Ray
2017	A	`conf`	Transportation security in the era of autonomous vehicles: Challenges and practice. ICCAD Sandip Ray
2016	A*	`conf`	Exploiting design-for-debug for flexible SoC security architecture. DAC Abhishek Basak, Swarup Bhunia, Sandip Ray
2016	A	`conf`	Exploiting transaction level models for observability-aware post-silicon test generation. DATE Farimah Farahmandi, Prabhat Mishra, Sandip Ray
2016	A	`conf`	Multilevel design understanding: from specification to logic (invited paper). ICCAD Sandip Ray, Ian G. Harris, Görschwin Fey, Mathias Soeken
2016	—	`conf`	Protocol-guided analysis of post-silicon traces under limited observability. ISQED Hao Zheng, Yuting Cao, Sandip Ray, Jin Yang
2016	—	`conf`	Robust bitstream protection in FPGA-based systems through low-overhead obfuscation. ReConFig Robert Karam, Tamzidul Hoque, Sandip Ray, Mark Tehranipoor, Swarup Bhunia
2016	—	`conf`	Security challenges in mobile and IoT systems. SoCC Sandip Ray, Jayanta Bhadra
2016	Misc	`conf`	Security validation in IoT space. VTS Sandip Ray, Swarup Bhunia, Yier Jin, Mark Tehranipoor
2016	—	`conf`	Technical demonstration session: Software toolflow for FPGA bitstream obfuscation. ReConFig Robert Karam, Tamzidul Hoque, Sandip Ray, Mark Tehranipoor, Swarup Bhunia
2016	J	`jnl`	The Changing Computing Paradigm With Internet of Things: A Tutorial Introduction. IEEE Des. Test Sandip Ray, Yier Jin, Arijit Raychowdhury
2016	C	`conf`	The power play: Security-energy trade-offs in the IoT regime. ICCD Sandip Ray, Tamzidul Hoque, Abhishek Basak, Swarup Bhunia
2016	A	`conf`	Validating scheduling transformation for behavioral synthesis. DATE Zhenkun Yang, Kecheng Hao, Kai Cong, Li Lei, Sandip Ray, Fei Xie
2016	J	`jnl`	Wearables, Implants, and Internet of Things: The Technology Needs in the Evolving Landscape. IEEE Trans. Multi Scale Comput. Syst. Sandip Ray, Jongsun Park, Swarup Bhunia
2015	A	`conf`	A Flexible Architecture for Systematic Implementation of SoC Security Policies. ICCAD Abhishek Basak, Swarup Bhunia, Sandip Ray
2015	A	`conf`	Can't See the Forest for the Trees: State Restoration's Limitations in Post-silicon Trace Signal Selection. ICCAD Sai Ma, Debjit Pal, Rui Jiang, Sandip Ray, Shobha Vasudevan
2015	A*	`conf`	Correctness and security at odds: post-silicon validation of modern SoC designs. DAC Sandip Ray, Jin Yang, Abhishek Basak, Swarup Bhunia
2015	J	`jnl`	Guest Editors' Introduction: Wearables, Implants, and Internet of Things. IEEE Trans. Multi Scale Comput. Syst. Sandip Ray, Jongsun Park, Swarup Bhunia
2015	A	`conf`	Security Policy Enforcement in Modern SoC Designs. ICCAD Sandip Ray, Yier Jin
2015	B	`conf`	Transaction Flows and Executable Models: Formalization and Analysis of Message passing Protocols. FMCAD Murali Talupur, Sandip Ray, John Erickson
2014	—	`conf`	Efficient trace signal selection using augmentation and ILP techniques. ISQED Kamran Rahmani, Prabhat Mishra, Sandip Ray
2014	A	`conf`	Equivalence checking for function pipelining in behavioral synthesis. DATE Kecheng Hao, Sandip Ray, Fei Xie
2014	B	`conf`	Mechanical Certification of Loop Pipelining Transformations: A Preview. ITP Disha Puri, Sandip Ray, Kecheng Hao, Fei Xie
2014	A*	`conf`	Scalable Certification Framework for Behavioral Synthesis Front-End. DAC Zhenkun Yang, Kecheng Hao, Kai Cong, Li Lei, Sandip Ray, Fei Xie
2014	—	`conf`	Using ACL2 to Verify Loop Pipelining in Behavioral Synthesis. ACL2 Disha Puri, Sandip Ray, Kecheng Hao, Fei Xie
2013	C	`conf`	Equivalence checking for compiler transformations in behavioral synthesis. ICCD Zhenkun Yang, Kecheng Hao, Kai Cong, Sandip Ray, Fei Xie
2013	J	`jnl`	Guest Editorial: Test and Verification Challenges for Future Microprocessors and SoC Designs. J. Electron. Test. Sandip Ray, Jay Bhadra, Magdy S. Abadir, Li-C. Wang
2013	A*	`conf`	Handling design and implementation optimizations in equivalence checking for behavioral synthesis. DAC Zhenkun Yang, Sandip Ray, Kecheng Hao, Fei Xie
2013	B	`conf`	Preface. FMCAD Barbara Jobstmann, Sandip Ray
2013	C	`conf`	Scalable trace signal selection using machine learning. ICCD Kamran Rahmani, Prabhat Mishra, Sandip Ray
2013	J	`jnl`	Specification and Verification of Concurrent Programs Through Refinements. J. Autom. Reason. Sandip Ray, Rob Sumners
2012	A*	`conf`	Equivalence checking for behaviorally synthesized pipelines. DAC Kecheng Hao, Sandip Ray, Fei Xie
2012	J	`jnl`	Introduction to special section on verification challenges in the concurrent world. ACM Trans. Design Autom. Electr. Syst. Sandip Ray, Jayanta Bhadra, Magdy S. Abadir, Li-C. Wang, Aarti Gupta
2011	—	`conf`	A Unified Formal Framework for Analyzing Functional and Speed-path Properties. MTV Oswaldo Olivo, Sandip Ray, Jayanta Bhadra, Vivekananda M. Vedula
2011	J	`jnl`	The Right Tools for the Job: Correctness of Cone of Influence Reduction Proved Using ACL2 and HOL4. J. Autom. Reason. Michael J. C. Gordon, Matt Kaufmann, Sandip Ray
2010	Misc	`conf`	Innovative practices session 7C: Verification and testing challenges in high-level synthesis. VTS Sandip Ray, Jayanta Bhadra
2010	—	`conf`	Modeling and verification of industrial flash memories. ISQED Sandip Ray, Jayanta Bhadra, Thomas Portlock, Ronald Syzdek
2010	A	`conf`	Optimizing equivalence checking for behavioral synthesis. DATE Kecheng Hao, Fei Xie, Sandip Ray, Jin Yang
2010	—	`book`	Scalable Techniques for Formal Verification. Sandip Ray
2009	B	`conf`	Connecting pre-silicon and post-silicon verification. FMCAD Sandip Ray, Warren A. Hunt Jr.
2009	B	`conf`	Formal Verification for High-Assurance Behavioral Synthesis. ATVA Sandip Ray, Kecheng Hao, Yan Chen, Fei Xie, Jin Yang
2009	J	`jnl`	Integrating external deduction tools with ACL2. J. Appl. Log. Matt Kaufmann, J Strother Moore, Sandip Ray, Erik Reeber
2008	J	`jnl`	A Mechanical Analysis of Program Verification Strategies. J. Autom. Reason. Sandip Ray, Warren A. Hunt Jr., John Matthews, J Strother Moore
2008	—	`conf`	Abstraction as a Practical Debugging Tool. MTV Sandip Ray
2008	J	`jnl`	Efficient execution in an automated reasoning environment. J. Funct. Program. David A. Greve, Matt Kaufmann, Panagiotis Manolios, J Strother Moore, Sandip Ray, José-Luis Ruiz-Reina, Rob Sumners, Daron Vroon, Matthew Wilding
2008	B	`conf`	Mechanized Information Flow Analysis through Inductive Assertions. FMCAD Warren A. Hunt Jr., Robert Bellarmine Krug, Sandip Ray, William D. Young
2007	B	`conf`	A Mechanized Refinement Framework for Analysis of Custom Memories. FMCAD Sandip Ray, Jayanta Bhadra
2007	J	`jnl`	A Survey of Hybrid Techniques for Functional Verification. IEEE Des. Test Comput. Jayanta Bhadra, Magdy S. Abadir, Li-C. Wang, Sandip Ray
2007	J	`jnl`	Combining Theorem Proving with Model Checking through Predicate Abstraction. IEEE Des. Test Comput. Sandip Ray, Rob Sumners
2007	—	`conf`	Mechanized Certification of Secure Hardware Designs. MTV Sandip Ray, Warren A. Hunt Jr.
2006	—	`conf`	Quantification in tail-recursive function definitions. ACL2 Sandip Ray
2006	B	`conf`	Verification Condition Generation Via Theorem Proving. LPAR John Matthews, J Strother Moore, Sandip Ray, Daron Vroon
2004	A*	`conf`	Deductive Verification of Pipelined Machines Using First-Order Quantification. CAV Sandip Ray, Warren A. Hunt Jr.
2004	B	`conf`	Proof Styles in Operational Semantics. FMCAD Sandip Ray, J Strother Moore