Explore projects

Fork of https://github.com/OP-TEE/manifest

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

Assignment for AKDV 2016: writing theory solvers in the SMT4J framework.

Automated VM and Docker container provisioning for the CON course

Upstream Git Repository for Computer Organization and Networks Practicals 2020/21

Reference implementations and scripts to calculate round numbers for the PRF Hydra.