Formal Analysis-Based Vulnerability Discovery Methods for TLS 1.2 Protocols

SSRN Electronic Journal 2026 Preprint Open access

Read full text

Authors: Tong Yu, Rui Jiang

DOI: 10.2139/ssrn.6388942

Cited by: 0

References: 12

Fields of Study & Subjects

Advanced Authentication Protocols Security Cryptographic Implementations and Security Security and Verification in Computing

References 12