The first SCION book, published in 2017, summarized the results of eight years of work by
over a dozen researchers. Now, five years later, we have completely rewritten the book. It …

The advent of flying ad hoc networks (FANETs) has opened an opportunity to create new
added-value services. Even though it is clear that these networks share common features …

Rewriting logic is both a flexible semantic framework within which widely different concurrent
systems can be naturally specified and a logical framework in which widely different logics …

Despite the central importance of DNS, numerous attacks and vulnerabilities are regularly
discovered. The root of the problem is the ambiguity and tremendous complexity of DNS …

This paper presents a rewriting logic “interpreter” for networks of parametric timed automata
with global variables (NPTAVs) in Real-Time Maude style. Since explicit-state analysis is not …

Communication and information technologies shape the world's systems of today, and those
systems shape our society. The security of those systems relies on mathematical problems …

This paper presents a rewriting logic semantics for parametric timed automata (PTAs) and
shows that symbolic reachability analysis using Maude-with-SMT is sound and complete for …

Today's distributed systems must satisfy both qualitative and quantitative properties. These
properties are analyzed using very different formal frameworks: expressive untimed and non …

Abstract In Mobile Ad Hoc Networks (MANETs), lack of a fixed infrastructure, dynamic
network topology, device mobility and data communication over wireless channels make the …

Distributed read atomic transactions are important building blocks of modern cloud
databases that magnificently bridge the gap between data availability and strong data …