[EN] With the arrival of quantum computing, ensuring the security of communications protocol has become even more crucial. This study explores the formal verification of a Transport Layer Security protocol designed to ...