Trustworthy Tuesday - Computer-Aided Hardware Security Verification

Beschreibung

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. Pascal Sasdrich leads the research group on Computer-Aided Verification of Physical Security Properties (CAVE) at the Ruhr-Universität Bochum.

In our webinar series Trustworthy Tuesday, we aim to break down the complex topic of formal verification and trustworthy IT into small bites. Researchers present their work in the field. A short input and a discussion round will provide an insight into research approaches and best practices.

The 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.

By registering, you agree to the declaration of consent for video recording. The declaration can be found here.

If you have any questions, please reach out to protect@gi.de.