A new project led by Warren B. Nelms Institute researchers has received $1 million in funding from the National Science Foundation (NSF) Experiential Learning for Emerging and Novel Technologies (ExLENT) Program.
[October 2023] Paper by Xiangru Chen, Dipal Halder, and Kazi Mejbaul Islam on HW-SW infrastructure for protecting against evasion attacks has been accepted at IEEE Internet-of-Things journal. Congratulations Xiangru, Dipal, and Kazi!
[August 2023] Sandip received the 2023 ECE Research Excellence Award. The plaque was presented at the annual departmental faculty retreat by ECE Chair Prof. Mark Tehranipoor. A big “Thank You” to all the students. We all know who actually does… Read More
[April 2023] Paper by Darshith Prakash, Bhagawat Yedla, and Srivalli Boddupalli on the exploration platform for security of V2X communications has been accepted at VTC 2023. Congratulations Darshith, Bhagawat, and Srivalli!
Security of Hardware-Firmware Interactions: Problems, Challenges, and Some Research Directions Distinguished Seminar, Cirrus Logic Inc., Virtual Seminar, October 2021.
Security of Hardware-Firmware Interactions: Problems, Challenges, and Some Research Directions Distinguished Seminar, Advanced Micro Devices Inc., Virtual Seminar, March 2021.
Security Architecture, Synthesis, and Validation of System-on-Chip Expert lecture, Malavya National Institute of Technology, Jaipur, India, July 2019. Two-day expert lecture workshop organized by TEQIP III & ICT Academy of MNIT.
Architecting Internet-of-Things Systems: Impending Challenges and Integrative Solutions Distinguished Presentation, Bay Area Manufacturers’ Association, Tampa, FL, USA, May 2019.
Architecting Internet-of-Things Systems: Impending Challenges and Integrative Solutions Distinguished Presentation, Sarasota-Manatee Manufacturers’ Association, Sarasota, FL, USA, January 2019.
Architecting Internet-of-Things Systems: Impending Challenges and Integrative Solutions Keynote, 4th International IEEE International Symposium on Smart Systems, Hyderabad, India, December 2018.
Architecting Internet-of-Things Systems: Impending Challenges and Integrative Solutions Warren B. Nelms Institute Distinguished Lecture, University of Florida, Gainesville, FL, USA, November 2018.
Small Teams, Short Ramp, Industrial Scale Problems: Some Experiments in the Practicum of Interactive Theorem Proving Keynote, 15th International Workshop on the ACL2 Theorem Prover and Its Applications, Austin, TX, USA, November 2018.
Architecting Internet-of-Things Systems: Impending Challenges and Integrative Solutions Distinguished Lecture, Texas Instruments, Dallas, TX, USA, July 2018.
Architecting Internet-of-Things Systems: Impending Challenges and Integrative Solutions Distinguished Lecture, University of South Florida, Tampa, FL, USA, April 2018.
Securing the Autonomous Automotive: Challenges and State of Practice Keynote, Automotive and IoT Security Workshop, Washington DC, USA, May 2017.
SoC Security in the IoT Regime: A Story of Cooperating Architecture and Analysis Invited Lecture, Dagstuhl Summer Seminar on Foundations of Security Scaling, Dagstuhl, Germany, August 2016.
Where are My Requirements? A Forgotten Piece of the Trustworthy Design Puzzle Keynote, 2nd Workshop for Design Automation for Understanding Hardware Designs (DUHDe 2016), Dresden, Germany, March 2016. Workshop affiliated to Design, Automation, and Test in Europe (DATE 2016).
Post-silicon Validation and the Role of Readiness Keynote Presentation, Intel University Research Office Post-silicon Validation Workshop, Hillsboro, OR, USA, October 2012.
Invited Talks
Emergent Internet-of-Things Technologies: Promise, Problems, Challenges, and Directions Invited Talk, AI and IoT: Smart Solutions for Small and Medium-Sized Manufacturing, Virtual Conference, September 2021. Workshop organized by Warren B. Nelms Institute for Connected World as 5-Part Interactive Series.
Can You Trust Your Car? An Elementary Primer into Automotive Hacking Invited Talk, 4th International Workshop on Design Automation for Cyber-Physical Systems (DACPS 2019), Las Vegas, NV, USA, June 2019.
Cybersecurity for Connected, Autonomous Vehicles: Impending Challenges and Integrative Solutions Invited Talk, Workshop on Cybersecurity for Public Transportation, Tampa, FL, USA, April 2019.
Architecting and Validating Internet-of-Things Systems: Emergent challenges and Integrative Solutions Invited Talk, 3rd International Workshop on Design Automation for Cyber-Physical Systems (DACPS 2018), San Francisco, CA, USA, June 2018.
The Challenge of Large-scale Connectivity: Design, Validation, and Debug Invited Talk, VLSI Test Symposium, San Francisco, CA, USA, April 2018.
Architecting Internet-of-Things Systems: Impending Challenges and Integrative Solutions Invited Talk, Department of Electrical and Computer Engineering, University of Florida, Gainesville, FL, April 2017.
System-on-Chip Architectural Challenges for Internet-of-Things: An Industrial Perspective Invited Talk, VLSI Test Symposium (VTS 2017), Las Vegas, NV, USA, April 2017.
Connected Self-driving Automobiles: Security Challenges for the New Era Invited Talk, FICS Research Annual Conference on Cybersecurity, Gainesville, FL, USA, March 2017.
Secure and Trustworthy Internet of Things: Impending Challenges and Integrative Solutions Invited Talk, Department of Electrical Engineering and Computer Science, University of California at Irvine, Irvine, CA, USA, October 2016.
System Design Challenges for Internet of Things Invited Talk, ACM/IEEE DAC Workshop on Internet of Things, Austin, TX, USA, June 2016. Workshop affiliated to Design Automation Conference (DAC 2016).
System-on-Chip Security for IoT: Some Unique Validation Challenges Invited Talk, VLSI Test Symposium (VTS 2016), Las Vegas, NV, USA, April 2016.
Security Architecture and Validation in Modern SoC Designs: Current Practices and Emerging Trend Invited Talk, International Test Conference (ITC 2015), Anaheim, CA, USA, October 2015.
Correct, Dependable, Trustworthy Computing in the Embedded Regime: Challenges and Opportunities in Validation Invited Talk, Department of Electrical Engineering and Computer Science, Case Western Reserve University, Cleveland, OH, USA, May 2014.
Academic Program Requirements in Verification and Validation: A Personal Perspective Invited Talk, Department of Computer Science, Portland State University, Portland, OR, USA, June 2013.
Post-silicon Validation Challenges for Trustworthy Large-Scale Computing Invited Talk, Department of Computer Science, Portland State University, Portland, OR, USA, June 2013.
Post-silicon Validation Challenges for Trustworthy Large-Scale Computing Invited Talk, Department of Electrical and Computer Engineering, Portland State University, Portland, OR, USA, April 2013.
Formal Analysis for Large-scale Pre-silicon and Post-silicon Verification Invited Talk, Advanced Micro Devices, Inc., Austin, TX, USA, June 2011.
Theorem Proving for Certifying Behavioral Synthesis Transformations Invited Talk, Department of Computer Science, Portland State University, Portland, OR, USA, June 2011.
Formal Analysis for Large-scale Pre-silicon and Post-silicon Verification Invited Talk, Intel Corporation, Hillsboro, OR, USA, June 2011.
Formal Analysis for Trustworthy Large-scale Computing Invited Talk, Department of Electrical and Computer Engineering, Virginia Tech University, Blacksburg, VA, USA, February 2011.
Formal Analysis for Trustworthy Large-scale Computing Invited Talk, College of Computer and Information Science, Northeastern University, Boston, MA, USA, February 2011.
Formal Analysis at Pre-silicon and Post-silicon Levels Invited talk, Intel Corporation, Hillsboro, OR, USA, April 2007.
Formal Verification as Part of System Design Process Invited Talk, MIT Itanium STA Workshop, Boston, MA, USA, March 2007. Workshop part of the National Science Foundation Cyber Defense Initiative.
A. Sinha and S. Ray. Synergies Between Delay Test and Post-silicon Speed Path Validation. Tutorial, European Test Symposium, Virtual Conference, May 2021.
D. N. Chhibber and S. Ray. A Match-Making Mobile App for Efficient Distribution of Food Donations Interactive Demo 1st Warren B. Nelms Annual IoT Conference, Gainesville, FL, USA, December 2019.
S. Boddupalli, A. S. Rao, S. Thayumanan, and S. Ray. Detection and Mitigation of Communication Attacks on Cooperative Adaptive Cruise Control Interactive Demo 1st Warren B. Nelms Annual IoT Conference, Gainesville, FL, USA, December 2019. (3rd Place among 24 Demos)
A. P. Deb Nath, K. Raj, S. Bhunia, and S. Ray. Secure SoC Compiler (SoCComp). Interactive Demo, 1st Warren B. Nelms Annual IoT Conference, Gainesville, FL, USA, December 2019.
S. Ray. The Autonomous Automotive Robustness Duo: Challenges and Practice in Functional Safety and Security. Tutorial, 32nd International Conference on VLSI Design & 18th International Conference on Embedded Systems (VLSI 2019), New Delhi, India, January 2019.
S. Ray. Can you Trust Your Smartphone? Security Validation in SoC Designs. Mini-course, E. Bozorgzadeh and H. Li organizers, 2015 SIGDA Design Automation Summer School (DASS 2015), San Francisco, CA, USA, June 2015. Summer school co-hosted by A. Richard Young Fellowship Program at ACM/IEEE Design Automation Conference (DAC 2015).
F. Xie, S. Ray, K. Hao, Z. Yang, and D. Puri. Equivalence Checking for Behaviorally Synthesized Pipelines. Interactive Demo, Collaboration Meeting between Intel Corporation and Portland State University, Hillsboro, OR, USA, June 2012.
F. Xie, S. Ray, K. Hao, Z. Yang, and D. Puri. The ForSyn Tool-suite: A Generic Front-end and Scalable Back-end for Certification of High-Assurance Behavioral Synthesis Interactive Demo, Collaboration Meeting between Intel Corporation and Portland State University, Portland, OR, USA, November 2011.
F. Xie, S. Ray, K. Hao, and Z. Yang. Formal Verification for High-Assurance Behavioral Synthesis. Interactive Demo, Intel Corporation, Hillsboro, OR, USA, July 2011.