Explore projects

Work on soft error analysis for the IMMORTAL project (activity with IBM)

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

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

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

Reference implementations and scripts to calculate round numbers, MDS matrices, and round constants for the HadesMiMC block cipher.

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

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

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

Repository containing the directory structure for LuB submissions.

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