research
∙
04/23/2023
Technical-Report: Automating Recoverability Proofs for Cyber-Physical Systems with Runtime Assurance Architectures
Cyber-physical systems (CPSes), such as autonomous vehicles, use sophist...
share
research
∙
12/23/2022
Technical Report: Automating Vehicle SOA Threat Analysis using a Model-Based Methodology
While the adoption of Service-Oriented Architectures (SOA) eases the imp...
research
∙
01/25/2022
Automating Safety and Security Co-Design through Semantically-Rich Architecture Patterns
During the design of safety-critical systems, safety and security engine...
research
∙
05/07/2021
On the Complexity of Verification of Time-Sensitive Distributed Systems: Technical Report
This paper develops a Multiset Rewriting language with explicit time for...
research
∙
12/30/2020
Security Engineering for ISO 21434
The ISO 21434 is a new standard that has been proposed to address the fu...
research
∙
09/22/2020
Less Manual Work for Safety Engineers: Towards an Automated Safety Reasoning with Safety Patterns
The development of safety-critical systems requires the control of hazar...
research
∙
11/12/2018
Compliance in Real Time Multiset Rewriting Models
The notion of compliance in Multiset Rewriting Models (MSR) has been int...
research
∙
10/11/2018
Model-Based Safety and Security Engineering
By exploiting the increasing surface attack of systems, cyber-attacks ca...
research
∙
01/12/2018
Symbolic Timed Observational Equivalence
Intruders can infer properties of a system by measuring the time it take...
research
∙
09/13/2017