extended-abstract

Towards synthesis of platform-aware attack-resilient control systems: extended abstract

Authors:

Insup LeeAuthors Info & Claims

HiCoNS '13: Proceedings of the 2nd ACM international conference on High confidence networked systems

Pages 75 - 76

https://doi.org/10.1145/2461446.2461457

Published: 09 April 2013 Publication History

Get Access

Abstract

No abstract available.

References

[1]

Real-Time Windows Target - Run Simulink models on a PC in real time. http://www.mathworks.com/products/rtwt/.

Google Scholar

[2]

Robotic Operating System. http://www.ros.org.

Google Scholar

[3]

H. Fawzi, P. Tabuada, and S. Diggavi. Secure state-estimation for dynamical systems under active adversaries. In 49th Annual Allerton Conference on Communication, Control, and Computing (Allerton), pages 337--344, 2011.

Crossref

Google Scholar

[4]

H. Fawzi, P. Tabuada, and S. Diggavi. Security for control systems under sensor and actuator attacks. In Proceedings of the 51st IEEE Conference on Decision and Control, 2012.

Crossref

Google Scholar

[5]

P. Feiler, B. Lewis, and S. Vestal. The SAE AADL standard: A basis for model-based architecture-driven embedded systems engineering. In Workshop on Model-Driven Embedded Systems, 2003.

Google Scholar

[6]

J. Hugues, B. Zalila, L. Pautet, and F. Kordon. From the prototype to the final embedded system using the Ocarina AADL tool suite. ACM Transactions on Embedded Computing Systems, 7(4):42:1--42:25, 2008.

Digital Library

Google Scholar

[7]

K. Koscher, A. Czeskis, F. Roesner, S. Patel, T. Kohno, S. Checkoway, D. McCoy, B. Kantor, D. Anderson, H. Shacham, and S. Savage. Experimental security analysis of a modern automobile. In 2010 IEEE Symposium on Securityand Privacy (SP), pages 447--462, 2010.

Digital Library

Google Scholar

[8]

F. Pasqualetti, F. Dörfler, and F. Bullo. Attack detection and identification in cyber-physical systems. IEEE Transactions on Automatic Control, 2012. submitted.

Google Scholar

[9]

J. Weimer, N. Bezzo, M. Pajic, G. Pappas, O. Sokolsky, and I. Lee. Resilient adaptive control with application to vehicle cruise control. In Workshop on Control of Cyber-Physical Systems, 2012. submitted.

Google Scholar

Cited By

View all

Raadia FFisher NChantem TBaruah S(2024)An Improved Security-Cognizant Scheduling Model2024 IEEE 27th International Symposium on Real-Time Distributed Computing (ISORC)10.1109/ISORC61049.2024.10551349(1-8)Online publication date: 22-May-2024
https://doi.org/10.1109/ISORC61049.2024.10551349
Baruah SChantem TFisher NRaadia F(2023)A Scheduling Model Inspired by Security Considerations2023 IEEE 26th International Symposium on Real-Time Distributed Computing (ISORC)10.1109/ISORC58943.2023.00016(32-41)Online publication date: May-2023
https://doi.org/10.1109/ISORC58943.2023.00016
Jeong YEun Y(2022)A Robust and Resilient State Estimation for Linear SystemsIEEE Transactions on Automatic Control10.1109/TAC.2021.308878067:5(2626-2632)Online publication date: May-2022
https://doi.org/10.1109/TAC.2021.3088780
Show More Cited By

Index Terms

Towards synthesis of platform-aware attack-resilient control systems: extended abstract
1. Computer systems organization
  1. Embedded and cyber-physical systems
  2. Real-time systems
2. Security and privacy
  1. Security in hardware

Recommendations

A multi-layered and kill-chain based security analysis framework for cyber-physical systems

This paper introduces a novel framework for understanding cyber attacks and the related risks to cyber-physical systems. The framework consists of two elements, a three-layered logical model and reference architecture for cyber-physical systems, and a ...
A Formal Approach to Physics-based Attacks in Cyber-physical Systems

We apply formal methods to lay and streamline theoretical foundations to reason about Cyber-Physical Systems (CPSs) and physics-based attacks, i.e., attacks targeting physical devices. We focus on a formal treatment of both integrity and denial of ...
Towards DDoS Attack Resilient Wide Area Monitoring Systems
ARES '17: Proceedings of the 12th International Conference on Availability, Reliability and Security

The traditional physical power grid is evolving into a cyber-physical Smart Grid (SG) that links the cyber communication and computational elements with the physical control functions to dynamically integrate varied and geographically distributed energy ...

Comments

Information & Contributors

Information

Published In

HiCoNS '13: Proceedings of the 2nd ACM international conference on High confidence networked systems

April 2013

152 pages

ISBN:9781450319614

DOI:10.1145/2461446

General Chairs:
S. Shankar Sastry
University of California, Berkeley, USA
,
Tamer Başar
University of Illinois at Urbana-Champaign, USA
,
Program Chairs:
Linda Bushnell
University of Washington, USA
,
Larry Rohrbough
University of California, Berkeley, USA

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 09 April 2013

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Extended-abstract

Conference

HiCoNS '13

Sponsor:

SIGBED

HiCoNS '13: 2nd ACM International Conference on High Confidence Networked Systems

April 9 - 11, 2013

Pennsylvania, Philadelphia, USA

Acceptance Rates

HiCoNS '13 Paper Acceptance Rate 18 of 37 submissions, 49%;

Overall Acceptance Rate 30 of 55 submissions, 55%

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

9
Total Citations
View Citations
270
Total Downloads

Downloads (Last 12 months)2
Downloads (Last 6 weeks)0

Reflects downloads up to 12 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Raadia FFisher NChantem TBaruah S(2024)An Improved Security-Cognizant Scheduling Model2024 IEEE 27th International Symposium on Real-Time Distributed Computing (ISORC)10.1109/ISORC61049.2024.10551349(1-8)Online publication date: 22-May-2024
https://doi.org/10.1109/ISORC61049.2024.10551349
Baruah SChantem TFisher NRaadia F(2023)A Scheduling Model Inspired by Security Considerations2023 IEEE 26th International Symposium on Real-Time Distributed Computing (ISORC)10.1109/ISORC58943.2023.00016(32-41)Online publication date: May-2023
https://doi.org/10.1109/ISORC58943.2023.00016
Jeong YEun Y(2022)A Robust and Resilient State Estimation for Linear SystemsIEEE Transactions on Automatic Control10.1109/TAC.2021.308878067:5(2626-2632)Online publication date: May-2022
https://doi.org/10.1109/TAC.2021.3088780
Rashid NWan JQuiros GCanedo AFaruque M(2017)Modeling and simulation of cyberattacks for resilient cyber-physical systems2017 13th IEEE Conference on Automation Science and Engineering (CASE)10.1109/COASE.2017.8256231(988-993)Online publication date: Aug-2017
https://doi.org/10.1109/COASE.2017.8256231
Al Faruque MRegazzoni FPajic MNicolescu GGerstlauer A(2015)Design methodologies for securing cyber-physical systemsProceedings of the 10th International Conference on Hardware/Software Codesign and System Synthesis10.5555/2830840.2830844(30-36)Online publication date: 4-Oct-2015
https://dl.acm.org/doi/10.5555/2830840.2830844
Faruque MRegazzoni FPajic M(2015)Design methodologies for securing cyber-physical systems2015 International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS)10.1109/CODESISSS.2015.7331365(30-36)Online publication date: Oct-2015
https://doi.org/10.1109/CODESISSS.2015.7331365
Bezzo NWeimer JPajic MSokolsky OPappas GLee I(2014)Attack resilient state estimation for autonomous robotic systems2014 IEEE/RSJ International Conference on Intelligent Robots and Systems10.1109/IROS.2014.6943080(3692-3698)Online publication date: Sep-2014
https://doi.org/10.1109/IROS.2014.6943080
Pajic MWeimer JBezzo NTabuada PSokolsky OLee IPappas GKumar PStoleru RBayen ABranicky MBranicky M(2014)Robustness of Attack-Resilient State EstimatorsICCPS '14: ACM/IEEE 5th International Conference on Cyber-Physical Systems (with CPS Week 2014)10.1109/ICCPS.2014.6843720(163-174)Online publication date: 15-Apr-2014
https://dl.acm.org/doi/10.1109/ICCPS.2014.6843720
Weimer JBezzo NPajic MSokolsky OLee I(2014)Attack-resilient minimum mean-squared error estimation2014 American Control Conference10.1109/ACC.2014.6859478(1114-1119)Online publication date: Jun-2014
https://doi.org/10.1109/ACC.2014.6859478

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Cited By

Index Terms

Recommendations

A multi-layered and kill-chain based security analysis framework for cyber-physical systems

A Formal Approach to Physics-based Attacks in Cyber-physical Systems

Towards DDoS Attack Resilient Wide Area Monitoring Systems

Comments

Published In

Sponsors

Publisher

Publication History

Permissions

Check for updates

Author Tags

Qualifiers

Conference

Acceptance Rates

Other Metrics

Article Metrics

Other Metrics

Cited By

Login options

Full Access

PDF

eReader

Abstract

References

Cited By

Index Terms

Recommendations

A multi-layered and kill-chain based security analysis framework for cyber-physical systems

A Formal Approach to Physics-based Attacks in Cyber-physical Systems

Towards DDoS Attack Resilient Wide Area Monitoring Systems

Comments

Information

Published In

Sponsors

Publisher

Publication History

Permissions

Check for updates

Author Tags

Qualifiers

Conference

Acceptance Rates

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

Login options

Full Access

View options

PDF

eReader

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations