Skip to main content
Logo der Gesellschaft für Informatik e.V.Logo der Gesellschaft für Informatik e.V.
de

Current News

Hardly Secure? Trustworthy Tuesday on Hardware Security

Pascal Sasdrich talks about verifying hardware security in the 5th session of Trustworthy Tuesday.
read more

Call for Presentations and Verification Challenges

The EVIT workshop co-located with CAV 2026 asks for your contributions!
read more

Fourth edition everything: Trustworthy Tuesday #4 on seL4!

In the new year Trustworthy Tuesday starts with a session on multikernel: June Andronick talks about seL4.
read more

Generating Trust(worthy Tuesday): This month on Property Generator

This month Mo Fadiheh talks about Property Generator on Trustworthy Tuesday!
read more

Trustworthy Tuesday rocks hard(ware)

Trustworthy Tuesday rocks on! This month, Wolfgang Kunz will give an introduction to formal hardware verification. Join us!
read more

Trustworthy Tuesday begins on 22.10.

Trustworthy Tuesday is a compact lunchtime webinar series that provides captivating insights into the field of trustworthy IT systems and formal…
read more

Cookie Settings

We use cookies mainly for anonymous statistical purposes. We use a tool called matomo for this and here only a small part of your IP is saved, nothing more. The Tool is hosted by ourself so no data is transferred to third parties.

Legal notice
Privacy policy