Explore projects

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

This project provides an interface to interact with an IEEE802.11 device. As of now '2021.10.18' only the access point devices are supported. More functionalities might follow.

A Mirror of the Cpp Linenoise on GitHub.

Assignment descriptions and frameworks for Verification and Testing 2021/22.

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