March 21, 2025
At the recent GOMACTech 2025 conference in Pasadena, CA the advanced security research work at Caspia Technologies and the University of Florida, Gainesville was broadly on display.
The following technical papers were presented at the conference.
SSLF: Automated Static Security Linting Framework for SoC Verification
Rasheed Kibria, Jeremy Lee, Caspia Technologies, Gainesville, FL
GenP: Harnessing Generative Properties for Hardware Security Verification
Avinash Ayalasomayajula, Rafid Muttaki, Jeremy Lee, Caspia Technologies, Gainesville, FL
BOMx: A Scalable Multi-Layered Solution with Computer Vision and Machine Learning for Assuring Electronics Supply Chain
Tashfique Hasnine Choudhury, Beau Bakken, Caspia Technologies, Gainesville, FL
Pauline Paki, Science and Technology Directorate, Department of Homeland Security Washington, DC
Physical Model-Assisted Secure Software Execution Against Fault-Injection Attacks
Henian Li, Md. Habibur Rahman, Arunabho Basu, Rakibul Hassan, Farimah Farahmandi, Mark M. Tehranipoor, University of Florida, Gainesville, FL
ML-PREMISE: A Machine Learning-Driven Pre-Silicon Electromagnetic Fault Injection Security Evaluation for Robust IC Design
Pantha Protim Sarker, Rakibul Hassan, Farimah Farahmandi, Mark Tehranipoor, University of Florida, Gainesville, FL
Tianze Kan, Jingchen Liang, Ozgur Tuncer, Bo He, Lang Lin, Norman Chang, Ansys, San Jose, CA
Gray-Box SoC Hardware Penetration Testing Using Reinforcement Learning and PSO
Hasan Al Shaikh, Shuvagata Saha, Sujan Kumar Saha, Farimah Farahmandi, Mark Tehranipoor, Fahim Rahman, University of Florida, Gainesville, FL
Kimia Zamiri Azar, University of Central Florida, Orlando, FL
Enhancing Hardware Security: Detecting Vulnerabilities in HDL Codes Using Fine-Tuned Large Language Model
Dipayan Saha, Sujan Kumar Saha, Jingbo Zhou, Mark Tehranipoor, Farimah Farahmandi, University of Florida, Gainesville, FL
Link to Press Release
At the recent GOMACTech 2025 conference in Pasadena, CA the advanced security research work at Caspia Technologies and the University of Florida, Gainesville was broadly on display.
The following technical papers were presented at the conference.
SSLF: Automated Static Security Linting Framework for SoC Verification
Rasheed Kibria, Jeremy Lee, Caspia Technologies, Gainesville, FL
GenP: Harnessing Generative Properties for Hardware Security Verification
Avinash Ayalasomayajula, Rafid Muttaki, Jeremy Lee, Caspia Technologies, Gainesville, FL
BOMx: A Scalable Multi-Layered Solution with Computer Vision and Machine Learning for Assuring Electronics Supply Chain
Tashfique Hasnine Choudhury, Beau Bakken, Caspia Technologies, Gainesville, FL
Pauline Paki, Science and Technology Directorate, Department of Homeland Security Washington, DC
Physical Model-Assisted Secure Software Execution Against Fault-Injection Attacks
Henian Li, Md. Habibur Rahman, Arunabho Basu, Rakibul Hassan, Farimah Farahmandi, Mark M. Tehranipoor, University of Florida, Gainesville, FL
ML-PREMISE: A Machine Learning-Driven Pre-Silicon Electromagnetic Fault Injection Security Evaluation for Robust IC Design
Pantha Protim Sarker, Rakibul Hassan, Farimah Farahmandi, Mark Tehranipoor, University of Florida, Gainesville, FL
Tianze Kan, Jingchen Liang, Ozgur Tuncer, Bo He, Lang Lin, Norman Chang, Ansys, San Jose, CA
Gray-Box SoC Hardware Penetration Testing Using Reinforcement Learning and PSO
Hasan Al Shaikh, Shuvagata Saha, Sujan Kumar Saha, Farimah Farahmandi, Mark Tehranipoor, Fahim Rahman, University of Florida, Gainesville, FL
Kimia Zamiri Azar, University of Central Florida, Orlando, FL
Enhancing Hardware Security: Detecting Vulnerabilities in HDL Codes Using Fine-Tuned Large Language Model
Dipayan Saha, Sujan Kumar Saha, Jingbo Zhou, Mark Tehranipoor, Farimah Farahmandi, University of Florida, Gainesville, FL
Link to Press Release