keynote

Public Access

Everything is Connected: Security and Reliability for Critical Infrastructure

Author:

Gabriela Felicia CiocarlieAuthors Info & Claims

WiSec '22: Proceedings of the 15th ACM Conference on Security and Privacy in Wireless and Mobile Networks

Page 3

https://doi.org/10.1145/3507657.3528671

Published: 16 May 2022 Publication History

PDF eReader

Abstract

From smart cities to smart cars and smart manufacturing, we live in a fully connected world. Critical infrastructure connects cyber and physical layers, and different critical infrastructures are in turn connected and interdependent (e.g., smart grids rely on cellular networks). However, the benefit of using such intelligent systems depends on their security and reliability just as much as it depends on their functionality. I work on approaches that operate across all these dimensions. This includes automated methods to identify and monitor Internet of Things devices, cellular networks and methods to detect and diagnose anomalous cells, and secure manufacturing, with formal methods to verify security properties.

References

[1]

Gabriela F. Ciocarlie, Christopher Connolly, Chih-Chieh Cheng, Ulf Lindqvist, Szabolcs Novaczi, Henning Sanneck and Muhammad Naseer-ul-Islam, Anomaly Detection and Diagnosis for Automatic Radio Network Verification, 6th International Conference on Mobile Networks and Management (MONAMI), September 2014.

Google Scholar

[2]

Prashant Anantharaman, Liwei Song, Ioannis Agadakos, Gabriela Ciocarlie, Bogdan Copos, Ulf Lindqvist and Michael Locasto, IoTHound: Environment-agnostic Device Identification and Monitoring, International Conference on IoT, 2020.

Google Scholar

[3]

Matthew Jablonski, Bo Yu, Gabriela Ciocarlie, Paulo Costa, A Case Study in the Formal Modeling of Safe and Secure Manufacturing Automation, IEEE Special Issue on Formal Methods Applied to Cyber-Physical Systems, 2021.

Digital Library

Google Scholar

Index Terms

Everything is Connected: Security and Reliability for Critical Infrastructure
1. Security and privacy
  1. Formal methods and theory of security
    1. Formal security models
  2. Systems security

Recommendations

A Statistical-Based Anomaly Detection Method for Connected Cars in Internet of Things Environment
IOV 2015: Proceedings of the Second International Conference on Internet of Vehicles - Safe and Intelligent Mobility - Volume 9502

A connected car is the most successful thing in the era of Internet of Things IoT. The connections between vehicles and networks grow and provide more convenience to users. However, vehicles become exposed to malicious attacks from outside. Therefore, a ...
Towards In-Network Security for Smart Homes
ARES '18: Proceedings of the 13th International Conference on Availability, Reliability and Security

The proliferation of the Internet of Things (IoT) in the context of smart homes entails new security risks threatening the privacy and safety of end users. In this paper, we explore the design space of in-network security for smart home networks, which ...
Everything Is Awesome! or Is It? Cyber Security Risks in Critical Infrastructure
Critical Information Infrastructures Security
Abstract
Industrial Control Systems (ICS) play an important role in the monitoring, control and automation of critical infrastructure such as water, gas, oil and electricity. Recent years have seen a number of high profile cyber attacks on such ...

Comments

Information & Contributors

Information

Published In

WiSec '22: Proceedings of the 15th ACM Conference on Security and Privacy in Wireless and Mobile Networks

May 2022

314 pages

ISBN:9781450392167

DOI:10.1145/3507657

General Chair:
Murtuza Jadliwala
University of Texas at San Antonio, San Antonio, Texas, USA
,
Program Chairs:
Yongdae Kim
Korea Advanced Institute of Science and Technology (KAIST), Daejeon, South Korea
,
Alexandra Dmitrienko
University of Würzburg, Würzburg, Germany

Permission to make digital or hard copies of part or all 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 third-party components of this work must be honored. For all other uses, contact the Owner/Author.

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 16 May 2022

Check for updates

Author Tags

Qualifiers

Keynote

Funding Sources

US Department of Homeland Security (DHS) Science and Technology (S&T)
Department of Energy

Conference

WiSec '22

Sponsor:

WiSec '22: 15th ACM Conference on Security and Privacy in Wireless and Mobile Networks

May 16 - 19, 2022

TX, San Antonio, USA

Acceptance Rates

Overall Acceptance Rate 98 of 338 submissions, 29%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

0
Total Citations
90
Total Downloads

Downloads (Last 12 months)40
Downloads (Last 6 weeks)6

Reflects downloads up to 09 Nov 2024

Other Metrics

View Author Metrics

Citations

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Get Access

Login options

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

Index Terms

Recommendations

A Statistical-Based Anomaly Detection Method for Connected Cars in Internet of Things Environment

Towards In-Network Security for Smart Homes

Everything Is Awesome! or Is It? Cyber Security Risks in Critical Infrastructure

Comments

Published In

Sponsors

Publisher

Publication History

Check for updates

Author Tags

Qualifiers

Funding Sources

Conference

Acceptance Rates

Other Metrics

Article Metrics

Other Metrics

PDF

eReader

Login options

Full Access

Abstract

References

Index Terms

Recommendations

A Statistical-Based Anomaly Detection Method for Connected Cars in Internet of Things Environment

Towards In-Network Security for Smart Homes

Everything Is Awesome! or Is It? Cyber Security Risks in Critical Infrastructure

Comments

Information

Published In

Sponsors

Publisher

Publication History

Check for updates

Author Tags

Qualifiers

Funding Sources

Conference

Acceptance Rates

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

View options

PDF

eReader

Get Access

Login options

Full Access

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations