Due to complex dependencies between multiple layers and components of emerging cyber-
physical systems, security and vulnerability of such systems have become a major challenge …

Access to the cloud has the potential to provide scalable and cost effective enhancements of
physical devices through the use of advanced computational processes run on apparently …

Advances in computation, sensing, and networking have led to interest in the Internet of
Things (IoT) and cyber-physical systems (CPS). Developments concerning the IoT and CPS …

With the increasing diversity of Distributed Denial-of-Service (DDoS) attacks, it is becoming
extremely challenging to design a fully protected network. For instance, Stealthy Link …

Deception, identity, and security: the game theory of sybil attacks Page 1 JANUARY 2019 |
VOL. 62 | NO. 1 | COMMUNICATIONS OF THE ACM 85 Deception, Identity, and Security …

Abstract The Global Positioning System (GPS) is commonly used in civilian Unmanned
Aerial Vehicles (UAVs) to provide geolocation and time information for navigation. However …

In a typical workplace, organizational policies and their compliance requirements set the
stage upon which the behavioral patterns of individual agents evolve. The agents' personal …

In cyber-physical systems, malicious and resourceful attackers could penetrate a system
through cyber means and cause significant physical damage. Consequently, early detection …

Smartphones and mobile networks have created a new paradigm called mobile
crowdsensing for data gathering and processing about a large‐scale phenomenon. This …

The agents of an organization, in fulfillment of their tasks, generate a cyber-physical-human
trace, which is amenable to formal analysis with modal logic to verify safety and liveness …