Invited talk on "Static Analysis-based Security Verification on Modern System-on-Chips"
Invited talk on "Static Analysis-based Security Verification on Modern System-on-Chips".
The session will walk through a typical verification flow: modeling assets and threats, encoding security policies, running static checks to detect design-level violations (e.g., unintended data paths, insecure register mappings, debug backdoors), and interpreting results to guide design fixes. Practical case studies on contemporary SoC platforms will illustrate how these techniques can detect subtle vulnerabilities early in the design cycle, reduce verification cost, and complement dynamic verification and penetration testing. The talk is aimed at researchers, hardware designers, and security engineers interested in building more trustworthy SoCs by integrating security verification as a first-class design step, rather than a late add-on.
Speaker: Dr. Rasheed Kibria, University of Florida.
Date and Time
Location
Hosts
Registration
-
Add Event to Calendar
Loading virtual attendance info...
- Contact Event Hosts
- Co-sponsored by FLORIDA ATLANTIC UNIVERSITY
- Starts 18 March 2026 05:00 AM UTC
- Ends 27 March 2026 05:00 AM UTC
- No Admission Charge
Speakers
Rasheed
Static Analysis-based Security Verification on Modern System-on-Chips
Static Analysis-based Security Verification on Modern System-on-Chips
Biography:
Rasheed Kibria has obtained his Ph.D. from the University of Florida. He is an experienced EDA software developer with an expertise in RTL Design, Compiler Technologies, Static and Formal Verification, and Hardware Security. During his Ph.D., he has developed numerous EDA solutions for early detection of security vulnerabilities in modern System-on-Chips. He has published 8 papers based on these in prestigious IEEE conferences and journals.
Email: