Explore projects
-
Updated
-
Updated
-
Updated
-
Tamarin models for the paper "Analyzing and Securing SOME/IP Automotive Services with Formal and Practical Methods"
Updated -
This repository contains the sourcecode for a proof-of-concept implementation of the SnapBak backup format
Updated -
Updated
-
Updated
-
Updated
-
Common Code that is used in the Version 2.0 of the Pi-Lab Management System. (i.e. inside the microservices and bootloader)
Updated -
Updated
-
-
Thomas Siyao Lin / seminararbeitWiSe22-23
GNU General Public License v3.0 onlyUpdated -
A Tamarin model and security proofs for AUTOSAR Secure Onboard Communication (SecOC)
Updated