Explore projects

MILP/CP framework for "Analyzing the Linear Keystream Biases in AEGIS" https://doi.org/10.13154/tosc.v2019.i4.348-368

Tools for finding linear characteristics for the authenticated cipher AEGIS from the CAESAR portfolio: Mixed-Integer Linear Programming (MILP) and Constraint Programming (CP) models including TikZ output

LaTeX presentation template in official TU Graz corporate design

ijtihad is a solver for Quantified Boolean Formulas based on counterexample-guided expansion.

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

Tool to generate mdp in PRISM language from experiments in CARLA

LaTeX master's thesis/dissertation titlepage template in TU Graz corporate design

Upstream Git Repository for Computer Organization and Networks Practicals 2019/20

TikZ code for crypto

A tool to find key recovery attacks based on a given cluster of differentials

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

Code examples for the lecture