Formally Verifying the State Machine of TLS 1.3 Handshake in OpenSSL
Authors: Jingjing Guan, Hui Li, Xiangdong Li, Xiaolei Wang, Binghan Wang, Qiuye Wang, Shengchao Qin, Mengda He, Md. Armanuzzaman, Ziming Zhao
Abstract
No abstract is available for this paper.