Explore projects

Présentation principale

Towards a reproducible research study

Differential equations simulation representing Salmonella infection

Vers une étude scientifique expérimentale reproductible avec Guix

An experimental study based on the test_FEMBEM solver

Minimal working example of an experimental study

Real-time capable task-space capacity evaluation python module https://auctus-team.gitlabpages.inria.fr/people/antunskuric/pycapacity/

Paper to add XOR and abelian group in ProVerif

ProVerif symbolic protocol verifier

ProVerif symbolic protocol verifier