Explore projects

S

SEACOP / SecOC-Tamarin

A Tamarin model and security proofs for AUTOSAR Secure Onboard Communication (SecOC)

0

Updated Nov 05, 2020

0 0 0 0

Updated Nov 05, 2020
S

Saif Eddine Askri / SE_Preparation_LAB2

0

Updated Sep 09, 2024

0 0 0 0

Updated Sep 09, 2024
Q

danet / quipsec

0

Updated Jan 17, 2025

0 0 0 0

Updated Jan 17, 2025
danet / quant

1

Updated Jan 16, 2025

1 0 20 19

Updated Jan 16, 2025
P

Iheb Boussida / python

0

Updated Sep 30, 2024

0 0 0 0

Updated Sep 30, 2024
P

Ahmad Amin / PSPlab2024_1119254_Ahmad

0

Updated Aug 09, 2024

0 0 0 0

Updated Aug 09, 2024
P

James Immanuel Magsino / pi

0

Updated Nov 19, 2024

0 0 0 0

Updated Nov 19, 2024
P

Hannah Senftleben / PAD1 PG1 Praktikum

Praktika PAD 1 aus dem ersten Semester (WS20/21)

Programmieren

0

Updated Jun 01, 2021

0 0

Updated Jun 01, 2021
O

Pi-Lab / Infrastructure / Openstack Gitlab Executor
MIT License

0

Updated Sep 05, 2023

0 0 0 0

Updated Sep 05, 2023
O

Joris Nonnast / obv_experimente

0

Updated Feb 12, 2022

0 0 0 0

Updated Feb 12, 2022
N

Fabian Rautenberg / NS24GruppeA

1

Updated Jul 16, 2024

1 0 0 0

Updated Jul 16, 2024
M

Alexander Scharfenberg / mqtt-app

0

Updated Apr 19, 2023

0 0 0 0

Updated Apr 19, 2023
M

Nils Gottfried / Metrik SIEM System

0

Updated Mar 05, 2024

0 0 0 0

Updated Mar 05, 2024
M

Kathrin Elbert / mein_projekt

0

Updated Jul 04, 2024

0 0 0 4

Updated Jul 04, 2024
L

Miguel Schink / logik-ws2223-sat-solver

0

Updated Mar 10, 2023

0 0 0 0

Updated Mar 10, 2023
L

Jannik Schleicher / logik-cheatsheet

0

Updated Jul 07, 2021

0 0 0 0

Updated Jul 07, 2021
K

Tobias Focke / ki_praktika_focke

0

Updated Jul 18, 2024

0 0 0 4

Updated Jul 18, 2024
I

Thorsten Schumacher / ITS

Praktikum IT-Sicherheit

0

Updated Jun 22, 2018

0 0 0 0

Updated Jun 22, 2018
I

Florian Kirchen / Ion_ai

0

Updated Jun 06, 2024

0 0 0 0

Updated Jun 06, 2024
I

SEACOP / In-Vehicle MACsec

0

Updated Mar 08, 2024

0 0 0 0

Updated Mar 08, 2024