Science of Security for Cyber-Physical Systems Workshop

Vienna palace and tulips size 600

SoSCYPS Workshop is held in conjunction with CPS Week 2016
Date: April 11, 2016
Location: Vienna, Austria

Registration and travel information can be found at the CPS Week website

Attacks infiltrating the integrity of vehicular control systems and medical devices have brought to sharp focus the urgency of securing cyber-physical systems. There is a broader discussion about the role of principled security-aware design and analysis in the development of both modern engineering systems such as the Smartgrid as well as in future systems that use advanced AI and machine learning in safety-critical settings. Although there has been a growing interest in these security in the CPSWeek community (increasing number of security related papers in ICCPS, HSCC, RTAS, HyCons), this body of research remains largely disconnected from the mainstream systems security research (USENIX, Oakland, CCS, NDSS). The CPS community has developed analysis and synthesis algorithms, verification tools, notions of observability and controllability, and have been in the forefront of research on emerging applications. The connections between this body of work and systems security research remain unexplored.

The goal of this workshop is to advance the science of security in cyberphysical systems by helping bridge this. We plan to bring together the leaders from these two communities in a full day workshop of invited sessions and panel discussions. Instead of unstructured technical presentations, the speakers and participants will put their research in the context of some broad topics that will help us bridge this gap. Topics of interest will include:



Secure State-estimation and Control of Cyber-Physical Systems | slides
Paulo Tabuada, Professor, Electrical Engineering Department, University of California, Los Angeles

Accountability in Cyberphysical Systems | slides
Anupam Datta, Associate Professor, Computer Science Department and Electrical and Computer Engineering Department, Carnegie Mellon University

Advances and Challenges of Quantitative Verification for CPS | slides
Marta Kwiatkowska, Professor of Computing Systems, University of Oxford

A Set-theoretic Approach for Secure and Resilient Control of Cyber-Physical Systems | slides
Bruno Sinopoli, Associate Professor, Electrical and Computer Engineering Department, Carnegie Mellon University

From Control System Security Indices to Attack Identifiability | slides
Henrik Sandberg, Professor, Department of Automatic Control, KTH Royal Institute of Technology

Towards Foundational Verification of Cyber-physical Systems | slides
Gregory Malecha, Postdoctoral Scholar, Computer Science and Engineering, University of California, San Diego
Sorin Lerner, Professor, Computer Science and Engineering, University of California, San Diego

Security Games on Flow Networks: Structural Results and Practical Implications | slides
Saurabh Amin, Robert N. Noyce Career Development Assistant Professor, Department of Civil and Environmental Engineering, Massachusetts Institute of Technology


Sayan Mitra, University of Illinois at Urbana-Champaign (
Geir Dullerud, University of Illinois at Urbana-Champaign (


NSA SoS Lockv2

NSA Science of Security (SoS) Lablet at the University of Illinois at Urbana-Champaign.