BEGIN:VCALENDAR
VERSION:2.0
PRODID:https://github.com/derhansen/sf_event_mgt
METHOD:PUBLISH
BEGIN:VEVENT
UID:7600-409@gi.de
CLASS: PUBLIC
SUMMARY:Trustworthy Tuesday - Computer-Aided Hardware Security Verification
DESCRIPTION:In our next session in February, Pascal Sasdrich will give his 
 presentation “Computer-Aided Hardware Security Verification”. As an insight
  into cryptography, he explains why we need to verify hardware security. Pa
 scal Sasdrich leads the research group on Computer-Aided Verification of Ph
 ysical Security Properties (CAVE) at the Ruhr-Universität Bochum.\n\nIn our
  webinar series Trustworthy Tuesday, we aim to break down the complex topic
  of formal verification and trustworthy IT into small bites. Researchers pr
 esent their work in the field. A short input and a discussion round will pr
 ovide an insight into research approaches and best practices.\n\nThe event 
 is happening on February 17th, starting at 2pm (UTC +1). The event will be 
 held on Zoom. The recording will be uploaded to the EvIT website after the 
 event.\n\n\n\nBy registering, you agree to the declaration of consent for v
 ideo recording. The declaration can be found here.\n\nIf you have any quest
 ions, please reach out to protect@gi.de. 
LOCATION:Online (Zoom)
DTSTAMP:20260128T122651Z
DTSTART:20260217T130000Z
DTEND:20260217T134500Z
END:VEVENT
END:VCALENDAR