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.
Co-sponsored by: FLORIDA ATLANTIC UNIVERSITY
Speaker(s): Rasheed
Virtual: https://events.vtools.ieee.org/m/549383