We study the interaction of the programming construct “new,” which generates statically
scoped names, with communication via messages on channels. This interaction is crucial in …

The Internet of Things (IoT) is a recent trend that extends the boundary of the Internet to
include a wide variety of computing devices. Connecting many stand-alone IoT systems …

A counterfeit drug is a medication or pharmaceutical product which is manufactured and
made available on the market to deceptively represent its origin, authenticity and …

Abstract Authenticated Key Exchange (AKE) is a cryptographic scheme with the aim to
establish a high-entropy and secret session key over a insecure communications network …

We present the first formal analysis of two avionic protocols that aim to secure air-ground
communications, the ARINC823 public-key and shared-key protocols. We verify these …

Remote and largely unattended sensing devices are being deployed rapidly in sensitive
environments, such as healthcare, in the home, and on corporate premises. A major …

We present an efficient secure and privacy-enhancing protocol for car access provision,
named SePCAR. The protocol is fully decentralised and allows users to share their cars …

Securing network traffic has always been a must requirement for any network application
that employs insecure communication channel. The reason is to provide protection for the …

Starting with the work of Bellare, Goldreich and Goldwasser [CRYPTO'94], a rich line of work
has studied the design of updatable cryptographic primitives. For example, in an updatable …

Certificate authorities serve as trusted parties to help secure web communications. They are
a vital component for ensuring the security of cloud infrastructures and big data repositories …