Discover projects, groups and snippets. Share your projects with others
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