Automatic and Dynamic Validation of QUIC Security Considerations Automatic and Dynamic Validation of QUIC Security Considerations Supervisor(s): Sebastian Peters, Lukas Lautenschlager Status: inprogress Topic: Others Author: Kacper Darowski Submission: 2025-09-01 Type of Thesis: Bachelorthesis Thesis topic in co-operation with the Fraunhofer Institute for Applied and Integrated Security AISEC, Garching Description