Towards formal validation and performance evaluation of TLS 1.3 using Intelligent Transport System certificates

This research paper examines TLS 1.3 (the protocol that encrypts data sent between your browser and websites) with a focus on validating its security and performance when used with Intelligent Transport System certificates (digital credentials for vehicles and infrastructure in connected transportation systems). The authors are working toward formal validation, which means mathematically proving the protocol works correctly and securely in this specific context.