Explore projects

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

Tool to generate mdp in PRISM language from experiments in CARLA

Code for the paper: "Riding the Waves Towards Generic Single-Cycle Masking in Hardware"

Upstream repository for Cryptanalysis KU 2025 https://www.iaik.tugraz.at/cryptanalysis

Reference implementations and scripts to calculate round numbers for the GMiMC block cipher.

A Mirror of the Hat Trie project on GitHub.

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