Explore projects

E

sase / practicals / 2024 / exercise2024-upstream

0

Updated Dec 01, 2024

0 0 0 0

Updated Dec 01, 2024
U

infosec / upstream

1

Updated Nov 18, 2024

1 0

Updated Nov 18, 2024
V

CON / vm-provisioning

Automated VM and Docker container provisioning for the CON course

0

Updated Sep 10, 2024

0 0

Updated Sep 10, 2024
M

scos / scos.teaching / Model Checking / MC2024 Public

0

Updated May 21, 2024

0 0 0 0

Updated May 21, 2024
P

krypto / PrivacyAwareRecSys

0

Updated May 15, 2024

0 0 0 0

Updated May 15, 2024
C

sesys / Chipwhisperer Docker

0

Updated May 15, 2024

0 0 0 0

Updated May 15, 2024
L

public-shared / Lattice ZK

0

Updated Mar 05, 2024

0 0 0 0

Updated Mar 05, 2024
V

scos / scos.teaching / scos.teaching.vt / vt2324 / VT Exercises - Student Sources

0

Updated Jan 03, 2024

0 0 0 0

Updated Jan 03, 2024
V

scos / scos.teaching / scos.teaching.vt / vt2022 / VT Exercises - Student Sources

0

Updated Dec 15, 2022

0 0 0 0

Updated Dec 15, 2022
V

scos / scos.teaching / scos.teaching.vt / vt2021 / VT Exercises - Student Sources

Assignment descriptions and frameworks for Verification and Testing 2021/22.

0

Updated Dec 16, 2021

0 0 0

Updated Dec 16, 2021
2

scos / scos.projects / 2PSnake

0

Updated Nov 15, 2021

0 0 0 0

Updated Nov 15, 2021
P

sesys / python-gitlab

0

Updated Sep 29, 2021

0 0 0 0

Updated Sep 29, 2021
V

scos / scos.teaching / scos.teaching.vt / vt2020 / VT Exercises - Student Sources

0

Updated Dec 17, 2020

0 0 0 0

Updated Dec 17, 2020