USENIX'25 Artifact Datasets: Towards Internet-Based State Learning of TLS State Machines

Artifacts for our USENIX Security '25 paper 'Towards Internet-Based State Learning of TLS State Machines'. The artifact includes:- the tools we used to learn and analyze state machines of TLS implementations- the state machines we collected and discuss in our paper- additional statistics and information on our analysis methodologyPlease see the artifact_appendix.pdf for details on how to reproduce our experiments form the USENIX Security artifact evaluation.