Andreas Maletti
1 indexed paper
Recent (6 mo)
1With code
0Influential cites
0Benchmarked
0Publications per year
126
Top categories
Crypto×1
Frequent co-authors
Research Timeline
2026
Process-Mining of Hypertraces: Enabling Scalable Formal Security Verification of (Automotive) Network Architectures
The paper introduces a novel pipeline integrating formal verification and process mining to systematically identify and analyze root causes of security property invalidations in complex automotive network architectures.
Highlighted terms show continued research focus across papers