Dynamic and Automatic Validation of Security Mechanisms for QUIC Dynamic and Automatic Validation of Security Mechanisms for QUIC Supervisor(s): Sebastian Peters Status: inprogress Topic: Others Author: Nguyen Truong An To Submission: 2024-12-17 Type of Thesis: Masterthesis Thesis topic in co-operation with the Fraunhofer Institute for Applied and Integrated Security AISEC, Garching Description