Source publication: [FJST23]
SSH, short for Secure Shell, is a cryptographic network protocol that is widely used to interact securely with remote machines.
In an earlier benchmark SSH-Fiterau-BrosteanEtAl2017 three SSH implementations (OpenSSH, Bitvise and DropBear) were inferred as Mealy machine models.
In [FJST23] again model learning is applied to three newer versions of the SSH implementations (OpenSSH, Bitvise and DropBear). The paper presents an automated black-box technique for detecting state machine bugs in implementations of stateful network protocols. They have applied their technique on three widely-used implementations of SSH servers and nine different DTLS server and client implementations, including their most recent versions by obtaining their models by model learning. The SSH servers models are in this Benchmark, and the DTLS server and client models are in the DTLS-Fiterau-BrosteanEtAl2023 benchmark. The models are retrieved from the artifact for this paper at [FJST23A]