Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
-
-
-
-
-
-
-
A tool to evaluate the security of a linear layer given in matrix form in the context of PSPNs and HADES-like permutations.
-
-
-
This is the very first step towards Learning Mealy Machines with Timers.
-
-
-
Mirror of "Modular Open Citizen Card Architecture" from https://git.egiz.gv.at/mocca/
-
Mirror of "PDF-Signatur-Software PDF-Over" from https://git.egiz.gv.at/pdf-over/
-
TikZ code for crypto
-
-
This repository contains a hardware model checker template for the Model Checking practicals 2021.
-
-
