Lahel: Lightweight attestation hardening embedded devices using macrocells
In recent years, we have seen an advent in software attestation defenses targeting
embedded systems which aim to detect tampering with a device's running program. With a …
embedded systems which aim to detect tampering with a device's running program. With a …
[PDF][PDF] Runtime verification with tessla on enzian
P Schmid - 2019 - research-collection.ethz.ch
Runtime verification (RV) is a methodology to verify whether the behaviour of a (software)
system satisfies the defined properties of a specification. This is of interest for safety-critical …
system satisfies the defined properties of a specification. This is of interest for safety-critical …
Towards Hardware Assisted Cyber Security
O Arias - 2022 - search.proquest.com
The growth in computational power has increased exponentially throughout the years as a
consequence of the so-called Moore's law. In some devices, this increase in computational …
consequence of the so-called Moore's law. In some devices, this increase in computational …
Multilevel Runtime Verification for Safety and Security Critical Cyber Physical Systems from a Model Based Engineering Perspective
SM Gautham - 2020 - scholarscompass.vcu.edu
Advanced embedded system technology is one of the key driving forces behind the rapid
growth of Cyber-Physical System (CPS) applications. CPS consists of multiple coordinating …
growth of Cyber-Physical System (CPS) applications. CPS consists of multiple coordinating …
[引用][C] Hypervisor-basierte Partitionierung von Mixed-Criticality-Anwendungen in heterogenen eingebetteten Systemen
MSF Schade - 2024