Seiten, die auf „Frederik Reiche“ verlinken
Die folgenden Seiten verlinken auf Frederik Reiche:
Angezeigt werden 29 Einträge.
- Ausschreibungen (← Links)
- SDQ-Seminar/2017-12-11 (← Links)
- Lesegruppe/2019-01-30 (← Links)
- KASTEL - Security-By-Design in vernetzten Infrastrukturen (← Links)
- Kopplungsansätze im Kontext statischer Sicherheitsanalysen (← Links)
- SDQ-Seminar/2019-11-25 (← Links)
- Parametrisierung statischer Analysen im Kontext der Softwaresicherheit (← Links)
- Lerngruppe/2020-04-15 (← Links)
- Generation of Formal Specifications for Smart Contracts from Architectural Specifications (← Links)
- SDQ-Lerngruppe/Orakel (← Links)
- Entwurf komponierbarer Sicherheitsanalysen (← Links)
- SDQ-Seminar/2021-05-10 (← Links)
- SDQ-Seminar/2021-07-12 (← Links)
- Lesegruppe/2020-11-17 (← Links)
- Konsistenzhaltung von Eingabemodellen für Architektur- und Code-basierte, statische Sicherheitsanalysen (← Links)
- Modellierung von Annahmen in Softwarearchitekturen (← Links)
- Kombination von Angreiferanalysen (← Links)
- Kopplung von Architekturanalysen und musterbasierten Quelltextanalysen in de Domäne der Softwaresicherheitr (← Links)
- Kopplung von statischen Architekturanalysen und musterbasierten Quelltextanalysen in der Domäne der Softwaresicherheit (← Links)
- SDQ-Seminar/2022-07-11 (← Links)
- Explorative Umsetzung einer iterativen Analysekopplung im Kontext von Software Security (← Links)
- SDQ-Seminar/2023-01-09 (← Links)
- SDQ-Seminar/2023-01-23 (← Links)
- Lerngruppe/2023-10-11 (← Links)
- Modellierung von Angriffen für quantitative Sicherheitsanalysen (← Links)
- SDQ-Seminar/2023-09-25 (← Links)
- SDQ-Proposal-Seminar/2023-10-09 (← Links)
- SDQ-Proposal-Seminar/2024-06-24 (← Links)
- SDQ-Proposal-Seminar/2024-08-12 (← Links)