SDQ-Proposal-Seminar/2024-08-05
Vorträge
| Vortragende(r) | Titel der Arbeit | Typ | Betreuer(in) | Sprache |
|---|---|---|---|---|
| Fatma Chebbi | Verification and Composability of Quantitative Information Flow Security | Masterarbeit | Christopher Gerking | Deutsch |
Informationen
| Datum | 05.08.2024, 11:30 – 05.08.2024, 13:00 |
|---|---|
| Ort | Gebäude 50.34, Raum 237 |
| Webkonferenz | https://sdq.kastel.kit.edu/wiki/SDQ-Proposal-Seminar/Microsoft Teams |
| Moderierende Postdocs |