| Analysing Variability-Aware Attack-Fault-Trees with the Meta Attack Language |
Bachelor's thesis |
Morten Harter |
Open |
| Creating Vulnerability Queries for Vari-Joern |
Bachelor's thesis |
Tim Bächle |
In Progress |
| Leveraging LLMs for Vulnerability Discovery in Highly-Configurable Software Systems |
Bachelor's thesis |
Tim Bächle |
Assigned |
| Modular Threat and Risk Analysis for Cyber-Physical Systems |
Master's thesis / Bachelor's thesis |
Morten Harter |
Open |
| Quantum Software Templates |
Master's thesis / Bachelor's thesis |
Joshua Ammermann |
Open |
| Resource Consumption in by-Construction Engineering |
Master's thesis / Bachelor's thesis |
Maximilian Kodetzki |
Open |
