The Cert-t project was awarded a post-doctoral funding through the Marie-Sokolowa Curie Action. For a detailed description of the project, you can read the project proposal. For further information or collaboration, please contact Benjamin Lion on the email benjamin.lion at inria dot fr.