|
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
|
|
|
Reliable High-Speed Traffic Generation and Validation for Testing IPsec Appliances
|
IDP, MA
|
Sebastian Gallenmüller, Andreas Fiessler, Richard von Seck, Stefan Lachnit, Manuel Simon
|
2025
|
|
