Main Page

ASIACCS 2017

ASIACCS 2017 Workshops

CCS 2016

CCS 2016
Workshops

CODASPY 2017

CODASPY 2017 Workshops

SACMAT 2017

WiSec 2016

Compilation Author Index

ACM SIGSAC Membership Application

CPS-SPC'17 Table of Contents

2016 CPS-SPC Chairs' Welcome
Alvaro A. Cardenas (University of Texas at Dallas)
Rakesh B. Bobba (Oregon State University)

CPS-SPC`16 Workshop Organization

Session: Industrial Control Systems
Session Chair: Michail Maniatakos (NYU, Abu Dhabi)

Automatic Construction of Statechart-Based Anomaly Detection Models for Multi-Threaded SCADA via Spectral Analysis (Page 1)
Amit Kleinmann (Tel Aviv University)
Avishai Wool (Tel Aviv University)

Towards High-Interaction Virtual ICS Honeypots-in-a-Box (Page 13)
Daniele Antonioli (SUTD)
Anand Agrawal (SUTD)
Nils Ole Tippenhauer (SUTD)

SENAMI: Selective Non-Invasive Active Monitoring for ICS Intrusion Detection (Page 23)
William Jardine (MWR InfoSecurity)
Sylvain Frey (Lancaster University)
Benjamin Green (Lancaster University)
Awais Rashid (Lancaster University)

Session: Vehicular CPS
Session Chair: Pauline Anthonysamy (Google)

Secure Location Verification with a Mobile Receiver (Page 35)
Richard Baker (University of Oxford)
Ivan Martinovic (University of Oxford)

Risk Assessment for Cooperative Automated Driving (Page 47)
Derrick Dominic (University of Michigan)
Sumeet Chhawri (University of Michigan Transportation Research Institute (UMTRI))
Ryan M. Eustice (University of Michigan)
Di Ma (University of Michigan-Dearborn)
André Weimerskirch (University of Michigan)

Towards Safe and Secure Autonomous and Cooperative Vehicle Ecosystems (Page 59)
Antonio Lima (University of Luxembourg)
Francisco Rocha (University of Luxembourg)
Marcus Völp (University of Luxembourg)
Paulo Esteves-Veríssimo (University of Luxembourg)

Session: Risk Assessment and Resilience
Session Chair: Nils Ole Tippenhauer (ADSC)

Evaluating Resilience of Gas Pipeline Systems Under Cyber-Physical Attacks: A Function-Based Methodology (Page 71)
Yatin Wadhawan (University of Southern California)
Clifford Neuman (University of Southern California)

A Case Study on Implementing False Data Injection Attacks Against Nonlinear State Estimation (Page 81)
Charalambos Konstantinou (New York University)
Michail Maniatakos (New York University Abu Dhabi)

Achieving ICS Resilience and Security through Granular Data Flow Management (Page 93)
Benjamin Green (Lancaster University)
Marina Krotofil (Honeywell Industrial Cyber Security Lab)
David Hutchison (Lancaster University)

Session: Insights from Testbeds and Games
Session Chair: Awais Rashid (Lancaster University)

HAMIDS: Hierarchical Monitoring Intrusion Detection System for Industrial Control Systems (Page 103)
Hamid Reza Ghaeini (Singapore University of Technology and Design)
Nils Ole Tippenhauer (Singapore University of Technology and Design)

SoftGrid: A Software-based Smart Grid Testbed for Evaluating Substation Cybersecurity Solutions (Page 113)
Prageeth Gunathilaka (Advanced Digital Sciences Center)
Daisuke Mashima (Advanced Digital Sciences Center)
Binbin Chen (Advanced Digital Sciences Center)

Exposing Transmitters in Mobile Multi-Agent Games (Page 125)
Mai Ben- Adar Bessos (Bar-Ilan University)
Simon Birnbach (University of Oxford)
Amir Herzberg (Bar-Ilan University)
Ivan Martinovic (University of Oxford)