Search papers, labs, and topics across Lattice.
Leipzig University, Mercedes-Benz Tech Innovation GmbH
1
0
2
0
Uncover hidden attack patterns in automotive networks by combining formal verification with process mining, revealing root causes of security vulnerabilities that traditional methods miss.