Security Verification | DV Club Zurich
Wed, 17 Jun 2026 at 14:00
ETH Zurich
ETH Zürich, 130, Binzmühlestrasse, Oerlikon, Kreis 11, Zürich, Bezirk Zürich, Zürich, 8050, Schweiz/Suisse/Svizzera/Svizra
Free entry
Indoor
About
Join ETH Zurich's DV Club Zurich for a technical lecture on security verification, exploring practical approaches to verify security properties in IPs, complex SoCs, and system-scale designs alongside functional correctness. Learn about verification challenges and methods from peers and experts in a university research environment.
More Lecture in Zurich
Sind Pflanzen intelligent?
Sun, 17 May 2026Nordamerika Native Museum (NONAM)
Von Sternenstaub zu Planeten
Sun, 17 May 2026ETH Zurich
Free2026 International Junior Scholars Forum in Law and Social Science
Mon, 18 May 2026ETH Zurich
Minimalism: Catalysis by Peptides and Metabolites in Cells — Ronald Raines (MIT)
Mon, 18 May 2026ETH Zurich
Free