2016 Science of Security for Cyber-Physical Systems Workshop (SOSCYPS)
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE

9781509043040

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Advances and challenges of quantitative verification and synthesis for cyber-physical systems

2016 Science of Security for Cyber-Physical Systems Workshop (SOSCYPS) ◽

10.1109/soscyps.2016.7579999 ◽

2016 ◽

Author(s):

Marta Kwiatkowska

Keyword(s):

Cyber Physical Systems ◽

Physical Systems ◽

Quantitative Verification

Download Full-text

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

2016 Science of Security for Cyber-Physical Systems Workshop (SOSCYPS) ◽

10.1109/soscyps.2016.7580002 ◽

2016 ◽

Cited By ~ 13

Author(s):

Walter Lucia ◽

Bruno Sinopoli ◽

Giuseppe Franze

Keyword(s):

Cyber Physical Systems ◽

Theoretic Approach ◽

Resilient Control ◽

Physical Systems ◽

False Data Injection ◽

Injection Attacks

Download Full-text

Towards foundational verification of cyber-physical systems

2016 Science of Security for Cyber-Physical Systems Workshop (SOSCYPS) ◽

10.1109/soscyps.2016.7580000 ◽

2016 ◽

Cited By ~ 4

Author(s):

Gregory Malecha ◽

Daniel Ricketts ◽

Mario M. Alvarez ◽

Sorin Lerner

Keyword(s):

Cyber Physical Systems ◽

Physical Systems

Download Full-text

[Title page]

2016 Science of Security for Cyber-Physical Systems Workshop (SOSCYPS) ◽

10.1109/soscyps.2016.7580004 ◽

2016 ◽

Keyword(s):

Title Page

Download Full-text

Accountability in cyber-physical systems

2016 Science of Security for Cyber-Physical Systems Workshop (SOSCYPS) ◽

10.1109/soscyps.2016.7579998 ◽

2016 ◽

Cited By ~ 2

Author(s):

Anupam Datta ◽

Soummya Kar ◽

Bruno Sinopoli ◽

Sean Weerakkody

Keyword(s):

Cyber Physical Systems ◽

Physical Systems

Download Full-text

Security games on infrastructure networks

2016 Science of Security for Cyber-Physical Systems Workshop (SOSCYPS) ◽

10.1109/soscyps.2016.7579997 ◽

2016 ◽

Author(s):

Saurabh Amin

Keyword(s):

Infrastructure Networks ◽

Security Games

Download Full-text

Science of Security Cyber Physical Systems Workshop Program

2016 Science of Security for Cyber-Physical Systems Workshop (SOSCYPS) ◽

10.1109/soscyps.2016.7579996 ◽

2016 ◽

Cited By ~ 4

Keyword(s):

Cyber Physical Systems ◽

Physical Systems

Download Full-text

2016 Science of Security for Cyber-Physical Systems Workshop (SOSCYPS) ◽

10.1109/soscyps.2016.7580003 ◽

2016 ◽

Download Full-text

[Copyright notice]

2016 Science of Security for Cyber-Physical Systems Workshop (SOSCYPS) ◽

10.1109/soscyps.2016.7579995 ◽

2016 ◽

Keyword(s):

Download Full-text

From control system security indices to attack identifiability

2016 Science of Security for Cyber-Physical Systems Workshop (SOSCYPS) ◽

10.1109/soscyps.2016.7580001 ◽

2016 ◽

Cited By ~ 12

Author(s):

Henrik Sandberg ◽

Andre M.H. Teixeira

Keyword(s):

Control System ◽

System Security

Download Full-text

2016 Science of Security for Cyber-Physical Systems Workshop (SOSCYPS)
Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

Advances and challenges of quantitative verification and synthesis for cyber-physical systems

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

Towards foundational verification of cyber-physical systems

[Title page]

Accountability in cyber-physical systems

Security games on infrastructure networks

Science of Security Cyber Physical Systems Workshop Program

Table of contents

[Copyright notice]

From control system security indices to attack identifiability

Export Citation Format

2016 Science of Security for Cyber-Physical Systems Workshop (SOSCYPS)Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

Advances and challenges of quantitative verification and synthesis for cyber-physical systems

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

Towards foundational verification of cyber-physical systems

[Title page]

Accountability in cyber-physical systems

Security games on infrastructure networks

Science of Security Cyber Physical Systems Workshop Program

Table of contents

[Copyright notice]

From control system security indices to attack identifiability

2016 Science of Security for Cyber-Physical Systems Workshop (SOSCYPS)
Latest Publications