Explore projects

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

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

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.

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

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