This introduction tries to give the big picture on the goals, design philosophy, logical
foundations, applications, and overall structure of Maude. It is written in an impressionistic …

We apply formal methods to lay and streamline theoretical foundations to reason about
Cyber-Physical Systems (CPSs) and physics-based attacks, ie, attacks targeting physical …

We apply formal methods to lay and streamline theoretical foundations to reason about
Cyber-Physical Systems (CPSs) and cyber-physical attacks. We focus on integrity and DoS …

Programs written in a subset of occam are automatically translated into delay-insensitive
circuits using syntax-directed techniques. The resulting circuits are improved using …

Relay attackers can forward messages between a contactless EMV bank card and a shop
reader, making it possible to wirelessly pickpocket money. To protect against this, Apple Pay …

This introduction tries to give the big picture on the goals, design philosophy, logical
foundations, applications, and overall structure of Maude. It is written in an impressionistic …

We present an extension of the applied pi-calculus that can be used to model distance
bounding protocols. A range of different security properties have been sug-gested for …

This paper contributes a formal framework for quantitative analysis of bounded sensor
attacks on cyber-physical systems, using the formalism of differential dynamic logic. Given a …

Unmanned aerial vehicles (UAVs), aka drones, are becoming increasingly popular due to
great advancements in their control mechanisms and price reduction. UAVs are being used …

Industrial facilities and critical infrastructures are transforming into “smart” environments that
dynamically adapt to external events. The result is an ecosystem of heterogeneous physical …