While the general definition of the Internet of Things (IoT) is almost mature, roughly defining
it as an information network connecting virtual and physical objects, there is a consistent …

Industrial Internet of Things (IIoT) is present in many participants from the energy, health,
manufacturing, transport, and public sectors. Many factors catalyze IIoT, such as robotics …

• There are IDEs for KeY, including an Eclipse extension, that make it easy to keep track of
proof obligations in larger projects [Hentschel et al., 2014c].• A stripped down version of …

With the emergence of Bitcoin and recently proposed stablecoins from BigTechs, such as
Diem (formerly Libra), central banks face growing competition from private actors offering …

Cryptography ensures the confidentiality and authenticity of information but often relies on
unproven assumptions. SAT solvers are a powerful tool to test the hardness of certain …

This book provides an insight into the'hot'field of Radio Frequency Identification (RFID)
Systems In this book, the authors provide an insight into the field of RFID systems with an …

Abstract RFID (Radio Frequency Identification) systems are one of the most pervasive
computing technologies with technical potential and profitable opportunities in a diverse …

RFID-based tokens are increasingly used in electronic payment and ticketing systems for
mutual authentication of tickets and terminals. These systems typically use cost-effective …

The design of ultralightweight authentication protocols that conform to low-cost tag
requirements is imperative. This paper analyses the most important proposals (except for …

Implantable Medical Devices (IMDs) typically use proprietary protocols with no or limited
security to wirelessly communicate with a device programmer. These protocols enable …