Explore projects
-
-
Updated
-
Updated
-
IT Services / external-storage
Apache License 2.0External storage plugins, provisioners, and helper libraries https://github.com/kubernetes-incubator/external-storage
Updated -
Updated
-
IT Services / frr
GNU Lesser General Public License v2.1 onlyThe FRRouting Protocol Suite https://frrouting.org/
Updated -
runcon / etherpad-lite
Apache License 2.0Updated -
Implementation of a functional non-linear polynomial-regression on Tensorflow 2.0
UpdatedUpdated -
A Tamarin model and security proofs for AUTOSAR Secure Onboard Communication (SecOC)
Updated -
-
Praktika PAD 1 aus dem ersten Semester (WS20/21)
Updated -
This project shows an example of the barrel algorithm used during the class Biometric Systems (SS21) in the paper "Modeling 2D contactless Finger Images from SyntheticFingerprints"
Updated -
Sergio Vergata / BigBlueButton LiveStreaming
GNU General Public License v3.0 or laterUpdated -
Updated
-
Tamarin models for the paper "Analyzing and Securing SOME/IP Automotive Services with Formal and Practical Methods"
Updated