Explore projects

RAMSES-2 (Refinement of AADL Models for Synthesis of Embedded Systems) is a model refinement and code generation tool that produces C code for ARINC653, OSEK and POSIX-compliant operating systems. More at https://mem4csd.telecom-paristech.fr/blog/

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

Matlab implementation associated with the article "On the use and denoising of the temporal geometric mean for SAR time series", submitted to IEEE Geoscience and Remote sensing Letters by N.Gasnier, L.Denis and F.Tupin.

A simple example design for Zynq Ultrascale+ based boards.