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.