Open Master's Theses
| Title | Type | Advisors | Year | Links |
| Advances in Verification of Firewall Rules | BA, MA, IDP | Kilian Holzinger, Henning Stubbe | 2026 |
|
| Securing co-SNARK Proof Generation Offloading | MA, IDP, GR | Nina Schwanke, Veronika Bauer | 2026 |
|
| Improving Performance of a Post Quantum Threshold Signing System | MA | Holger Kinkelin, Dominik Marchsreiter, Marcel Kempf, Filip Rezabek | 2025 |
|