Explore projects
-
Work on soft error analysis for the IMMORTAL project (activity with IBM)
Updated -
Updated
-
Updated
-
This is the very first step towards Learning Mealy Machines with Timers.
Updated -
Updated
-
-
Updated
-
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
Updated -
Updated
-
Updated
-
Updated
-
Updated
-
Updated
-
Updated
-
Updated
-
Updated
-
Updated
-
Updated
-
Updated
-
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.
Updated