The Community for Technology Leaders
2016 Science of Security for Cyber-Physical Systems Workshop (SOSCYPS) (2016)
Vienna, Austria
April 11, 2016 to April 11, 2016
ISBN: 978-1-5090-4305-7
TABLE OF CONTENTS

[Title page] (PDF)

pp. 1

A set-theoretic approach for secure and resilient control of Cyber-Physical Systems subject to false data injection attacks (Abstract)

Walter Lucia , Universita degli Studi della Calabria, 87036, ITALY
Bruno Sinopoli , Carnegie Mellon University, Pittsburgh, PA 15213, USA
Giuseppe Franze , Universita degli Studi della Calabria, 87036, ITALY
pp. 1-5

From control system security indices to attack identifiability (Abstract)

Henrik Sandberg , KTH Royal Institute of Technology, Stockholm, Sweden
Andre M.H. Teixeira , Delft University of Technology, Delft, the Netherlands
pp. 1-6

Security games on infrastructure networks (Abstract)

Saurabh Amin , Massachusetts Institute of Technology
pp. 1-4

Towards foundational verification of cyber-physical systems (Abstract)

Gregory Malecha , University of California, San Diego, La Jolla, California 92037
Daniel Ricketts , University of California, San Diego, La Jolla, California 92037
Mario M. Alvarez , University of California, San Diego, La Jolla, California 92037
Sorin Lerner , University of California, San Diego, La Jolla, California 92037
pp. 1-5
81 ms
(Ver 3.3 (11022016))