Trustworthy Tuesday - seL4: Formally Verified Software protects from Cyber Attacks

Beschreibung

The German Informatics Society as part of the Ecosystem Formally Verifiable IT (EvIT) has launched a new webinar series called “Trustworthy Tuesday”. Once a month, researchers will present their work in the field of formal verification. After lunch at 2 pm CET, you can join our “snackable science” format.

We want to break down the complex topic of formal verification and trustworthy IT into small bites. Our short input and a discussion round will provide an insight into research approaches and best practices.

In our next session on January 20th, June Andronick will give her presentation “seL4: Formally Verified Software protects from Cyber Attacks”. The seL4-microkernel was developed with the goal of formal verification. June Andronick is the CEO of Proofcraft and a former leader of the Trustworthy Systems group. In her roles, she contributed to the original seL4 verification.

The event is happening on January 20th, 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.