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 -
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 -
-
Updated
-
Aufgabe 1 des Security of Web Applications Ferienkurses.
UpdatedUpdated