Source publication: [SSH17]
SSH, short for Secure Shell, is a cryptographic network protocol that is widely used to interact securely with remote machines. The authors of [SSH17] applied model learning to three SSH implementations (OpenSSH, Bitvise and DropBear) to infer Mealy machine models, and then used model checking to verify that these models satisfy basic security properties and conform to the RFCs. The analysis showed that all tested SSH server models satisfy the stated security properties. However, several violations of the standard were uncovered.