ALVIE was presented at DV Club Zurich 2026 (17 June), a workshop focused on the growing importance of security verification in modern semiconductor design. The presentation highlighted ALVIE’s role in automated hardware vulnerability detection.
The workshop, organized by Alpinum Consulting at ETH Zurich, brought together experts from both industry and academia to discuss practical approaches for verifying increasingly complex hardware systems.
Participants explored a broad range of topics, including RISC-V security extensions, hardware vulnerability analysis, SoC security, formal verification techniques, deterministic fuzzing, co-simulation, and software emulation. The discussions highlighted the need for robust and scalable verification methodologies to address emerging security challenges in next-generation chip designs.
The session, delivered by Matteo Busi from the Ca'Foscari University of Venice, provided an excellent opportunity to showcase how ALVIE contributes to advancing automated hardware vulnerability detection and supporting more secure semiconductor development workflows.
The presentation and session recording are available on the workshop website.
The strategic cooperation agreement was signed on Thursday, 28 May, by rectors Martin Bareš and Toomas Asser, in the presence of the presidents of both republics – Petr Pavel and Alar Karis. CCAT is one of 19 projects on which the two institutions have collaborated, which has led to the strengthening of cooperation culminating in the signing of this agreement.
Visitors to DevConf.CZ (18–19 June in Brno, CZ) will be able to help shape the human-centred design of the CCAT tools.
