In this work, we are addressing the problem of inferring the state machine of an unknown
protocol. Our method is based on prior work on inferring Mealy machines. We require
access to and interaction with a system that runs the unknown protocol, and we serve
a state-of-the-art Mealy machine inference algorithm with appropriate input obtained
from the system at hand. We implemented our method and illustrate its operation on
a simple example protocol.