Security Verification | DV Club Zurich

As systems grow more complex and interconnected, security has become a critical verification challenge rather than an afterthought. Verifying security requirements alongside functional correctness is now essential for building robust, trustworthy designs.

This DV Club Zurich session focuses on security verification, exploring practical approaches to verifying security properties in modern systems. Topics include security verification challenges in IPs, complex SoCs and system-scale designs, the impact of threat modelling on verification strategies, and lessons learned from real-world projects.

The discussion will emphasise what works in practice, sharing experiences, techniques, and insights from researchers, engineers and verification professionals dealing with security-critical designs today.