The German Informatics Society (GI), as part of the Ecosystem Formally Verifiable IT (EvIT) has launched a new webinar series called “Trustworthy Tuesday”. Once a month, researchers present their work in the field of formal verification. The webinars take place on 14:00 CET.
In our next session on February 17th, 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.
The series aims to break down the complex topic of formal verification and trustworthy IT into small bites. A short input and a discussion round will provide an insight into research approaches and best practices.
GI invites students, experts and other interested parties to “snack” on this new knowledge after their lunch break.
The event is happening on February 17th, starting at 14:00 CET. The event will be held on Zoom. The recording will be uploaded to the EvIT website after the event.
Please register here via this link. You will receive the access link 1 day before the webinar. In case of questions, please reach out to protect@gi.de.
