Trustworthy Tuesday - January
This month, June Andronick takes us into the world of multi-kernels with her presentation on seL4.
Description
In January, June Andronick will talk about seL4: Formally Verified Software protects from Cyber Attacks.
Trustworthy Tuesday is a compact lunchtime webinar series that provides exciting insights into the field of trustworthy IT systems and formal verification. With 15-20 minute input presentations, we invite participants to a subsequent discussion and a round of technical questions to highlight current developments, best practices, and practical approaches.
The series is aimed at both students and anyone interested in gaining an insight into formal methods and trustworthy IT—without having to take a full seminar. The compact format is ideal as a “knowledge snack” during your lunch break.