Date | Speaker | Title |
19.10.2021 | Moved to 7.12.21: Dr. Lennart Beringer, Princeton |
Foundational Verification of C programs |
26.10.2021 | Discussion | Security in workflow-based systems |
2.11.2021 | Discussion | Dependence graphs |
9.11.2021 | Discussion | Videos for SF 4.0 application clusters |
16.11.2021 | Tim Weißmantel at CROSSING Retreat | Secure Refinement of Cryptographic Algorithms |
23.11.2021 | MAIS-internal | MAIS-internal |
30.11.2021 | Florian Dewald | SF 4.0 staff meeting |
7.12.2021 | Dr. Lennart Beringer, Princeton | Foundational Verification of C programs |
14.12.2021 | SDPA oral examinations | |
21.12.2021 | MAIS internal | Talks by PhD candidates |
11.1.2022 | TBD | |
18.1.2022 | TBD | |
25.1.2022 | TBD | |
1.2.2022 | TBD | |
8.2.2022 | TBD | |
15.2.2022 | Kolja Renkel Martin Edlund |
BSc final presentation MSc final presentation |
8.3.2022 | Timothy Early Peter Franke |
TBD TBD |