Verification of Quantitative Information Flow Security Using Statistical Model Checking
| Vortragende(r) | Fatma Chebbi | |
|---|---|---|
| Vortragstyp | Masterarbeit | |
| Betreuer(in) | Christopher Gerking | |
| Termin | Fr 21. Februar 2025 | |
| Vortragssprache | Deutsch | |
| Vortragsmodus | in Präsenz | |
| Kurzfassung | Kurzfassung | |