Model learning Page 1 86 COMMUNICATIONS OF THE ACM | FEBRUARY 2017 | VOL. 60 |
NO. 2 review articles DOI:10.1145/2967606 Model learning emerges as an effective method …

Recent years have witnessed an increasing number of protocols relying on UDP. Compared
to TCP, UDP offers performance advantages such as simplicity and lower latency. This has …

Protocol implementations are essential components in network infrastructures. Flaws hidden
in the implementations can easily render devices vulnerable to adversaries. Therefore …

AALpy is an extensible open-source Python library providing efficient implementations of
active automata learning algorithms for deterministic, non-deterministic, and stochastic …

We present L#, a new and simple approach to active automata learning. Instead of focusing
on equivalence of observations, like the L∗ algorithm and its descendants, L# takes a …

Implementations of stateful security protocols must carefully manage the type and order of
exchanged messages and cryptographic material, by maintaining a state machine which …

This paper presents a learning-based approach to detecting failures in reactive systems.
The technique is based on inferring models of multiple implementations of a common …

We apply model learning on three SSH implementations to infer state machine models, and
then use model checking to verify that these models satisfy basic security properties and …