Explore projects

Docker image for Gitlab-CI runner. Based on node image.

Docker container for Continuous Integration of LaTeX projects.

Public branch for a thesis template used at KIT and HS Karlsruhe

Reference implementation, evaluation framework and Tamarin theorems for our TPM 2.0 remote attestation protocol.