Formally Verifying the State Machine of TLS 1.3 Handshake in OpenSSL.

Jingjing Guan, Hui Li, Xiangdong Li, Xiaolei Wang, Binghan Wang, Qiuye Wang, Shengchao Qin, Mengda He, Md. Armanuzzaman, Ziming Zhao

Browse the full INFOCOM paper archive.