Explore projects

TTool (pronounced "tea-tool") is a toolkit dedicated to the edition of UML and SysML diagrams, and to the simulation and formal verification (safety, security, performance) of those diagrams. See ttool.telecom-paris.fr and @TTool_UML_SysML

Alternate free software firmware for DFRobot DFR0592 DC motor driver hat

simple python script to convert Synapses csv schedules to ics calendars.

API pour communication avec carte Mifare DESFire EV1

Experiment Specification (ExSpec) is a language to specify the provenance of experiment/simulation data. ExSpec models are the basis of the Validity Frame Language (VaFL, pronounced "waffle") to specify the validity frames of models.

Code for ASIACRYPT'25 publication "General Key Recovery Attack on Pointwise-Keyed Functions - Application to Alternating Moduli Weak PRFs"