Explore projects
-
danet / goSDN
BSD 3-Clause "New" or "Revised" LicensegoSDN is an SDN controller that follows a modern software architecture design and a well-documented implementation written in Go.
Updated -
Updated
-
Tamarin models for the paper "Analyzing and Securing SOME/IP Automotive Services with Formal and Practical Methods"
Updated -
Praktika PAD 1 aus dem ersten Semester (WS20/21)
Updated -
SEACOP / DAA-PnC-Tamarin
GNU General Public License v3.0 or laterTamarin models and security proofs for the paper "Integrating Privacy into the Electric Vehicle Charging Architecture"
Updated -
Updated
-
Updated
-
Updated
-
-
Updated
-
Updated
-
Updated
-
-
Updated
-
hdacloud / flan
BSD 3-Clause "New" or "Revised" LicenseUpdated -
This is a practice project provided to us in the Software Engineering lecture. It was used to put newly acquired knowledge into practice.
Archived 0Updated -
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