The paper introduces a verification-orchestration algorithm and process mining on ARH hypertraces to enable scalable security analysis of automotive network protocols and attribute violations to specific component compromises.
Title resolution pending
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
citation-role summary
background 1
citation-polarity summary
years
2026 2verdicts
UNVERDICTED 2roles
background 1polarities
background 1representative citing papers
Semi-structured interviews with 18 participants identify both shared and group-specific factors shaping privacy preferences of vehicle owners versus non-owners in smart cabins.
citing papers explorer
-
Process-Mining of Hypertraces: Enabling Scalable Formal Security Verification of (Automotive) Network Architectures
The paper introduces a verification-orchestration algorithm and process mining on ARH hypertraces to enable scalable security analysis of automotive network protocols and attribute violations to specific component compromises.
-
Privacy Perceptions in Sensor-Powered Smart Vehicle Cabins
Semi-structured interviews with 18 participants identify both shared and group-specific factors shaping privacy preferences of vehicle owners versus non-owners in smart cabins.