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 …

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

We examine the problem of learning models that characterize the high-level behavior of a
system based on observation traces. Our aim is to develop models that are human …

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 …

The paper focuses on develo** an automated black-box testing approach called DIKEUE
that checks 4G Long Term Evolution (LTE) control-plane protocol implementations in …

Software model checking as well as runtime verification are verification techniques which
are widely used for checking temporal properties of software systems. Even though they are …

Facilitated by messaging protocols (MP), many home devices are connected to the Internet,
bringing convenience and accessibility to customers. However, most deployed MPs on IoT …

Cellular protocol implementations must comply with the specifications, and the security and
privacy requirements. These implementations, however, often deviate from the security and …

A key problem in rule mining is automatically discovering the underlying tree-structured
rules from large amounts of data. In this paper, we examine learning linear temporal logic on …