Mealy models

Source code and data relevant for the paper [SSH17] is available at the DANS repository [SSH178].

The following models are learned for the different protocol implementations:

from a older version of the paper

• OpenSSH.dot
• BitVise.dot
• DropBear.dot

and from a more recent version of the same paper (from DANS)

• OpenSSH2.dot
• BitVise2.dot
• DropBear2.dot