Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
-
-
-
Updated
-
Updated
-
Aufgabe 1 des Security of Web Applications Ferienkurses.
UpdatedUpdated -
Tamarin models for the paper "Analyzing and Securing SOME/IP Automotive Services with Formal and Practical Methods"
Updated -
Updated
-
A Tamarin model and security proofs for AUTOSAR Secure Onboard Communication (SecOC)
Updated -
-
-
-
Updated
-
Updated