Introduction to My Thesis Research 📝

This presentation focuses on enhancing the analysis of the TLS 1.3 protocol using advanced grey-box methodologies. It covers a review of previous studies, highlighting gaps and challenges in state machine learning for TLS 1.3. Objectives include extending tools like StateInspector and integrating cutting-edge solutions, supported by TLS-Attacker for comprehensive analysis. The framework emphasizes protocol-specific advancements and rigorous industry testing, aiming to evaluate performance,...