Explore projects
-
-
Florian Lugou / SMASHUP
CeCILL Free Software License Agreement v2.0This project aims to automate the translation of hardware/software co-designs into a ProVerif specification that ProVerif can handle.
Updated -
Zoe application with Spark. Contains the Notebook and the non-interactive versions.
Forked from https://gitlab.eurecom.fr/zoe-apps/zapp-spark
Updated -
-
-
-
-
Zoe application with Spark. Contains the Notebook and the non-interactive versions.
Updated -
-
-
-
-
-
-
-
-
-
-