Explore projects

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

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.

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

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