Poster

file

Visible to the public Assurance-Case Driven Framework to Support Cyber-Physical Systems

Submitted by akarns on Thu, 04/27/2023 - 12:55pm

ABSTRACT

The safety and security of cyber physical systems (CPS) play an important role many safety-critical sectors. The software assurances to cyber physical systems depend on the correctness, resilience and integrity that can be achieved not only before the deployment time but also the run-time. However, there some serious challenges when developing safe and secure cyber physical systems. In this talk, we introduce a novel assurance case driven framework that emphasizes on the following two perspectives.

file

Visible to the public Model-based Reasoning Tool for Software Ecosystems

Submitted by akarns on Thu, 04/27/2023 - 12:55pm

ABSTRACT

Over the past decades, software domains have witnessed a trend towards faster software release cycles, an increase of software components, and their connectivity. Examples include cyberphysical system in Industry 4.0 domains such as health care, retail, or transportation, in which, technically, software components are connected to a software ecosystem. Faster release cycles and high connectivity make many software ecosystem updates an expensive, arduous, and risky maintenance task.

file

Visible to the public Scalable Industrial Control System Fuzzing Using Explainable AI

Submitted by akarns on Thu, 04/27/2023 - 12:54pm. Contributors:

ABSTRACT

Learning-based modeling and fuzzing of industrial control systems (ICS) has shown promising results to find ICS attacks without requiring domain-specific expertise. However, ICS fuzzing faces the key challenge of state explosion, where the fuzzing space grows exponentially with ICS size. In this paper, we propose to exploit explainable AI (XAI) to address this challenge. Our results show that XAI accurately explains the ICS model and significantly speeds-up attack fuzzing by 64x.

BIO

file

Visible to the public Bindle: Automatic Harness Generation

Submitted by akarns on Thu, 04/27/2023 - 12:54pm. Contributor:

ABSTRACT

file

Visible to the public Lifecycle Attestation

Submitted by akarns on Thu, 04/27/2023 - 12:54pm

ABSTRACT

file

Visible to the public SoK: Attestation in Confidential Computing

Submitted by akarns on Thu, 04/06/2023 - 4:12pm. Contributors: