Explore projects
-
Praktika PAD 1 aus dem ersten Semester (WS20/21)
Updated -
Tamarin models for the paper "Analyzing and Securing SOME/IP Automotive Services with Formal and Practical Methods"
Updated -
Updated
-
Updated
-
Updated
Praktika PAD 1 aus dem ersten Semester (WS20/21)
Tamarin models for the paper "Analyzing and Securing SOME/IP Automotive Services with Formal and Practical Methods"