GitLab

This repository contains a hardware model checker template for the Model Checking practicals 2021.

A tool to evaluate the security of a linear layer given in matrix form in the context of PSPNs and Hades-like permutations.

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

Illustrative examples extending lecture content

Python implementation of ASM related tools. (e.g., assembler and simulator for the TOY ISA and RISC-V)

This is the very first step towards Learning Mealy Machines with Timers.

TikZ code for crypto