Rayan Mazouz

Une nouvelle approche pour l'analyse de sécurité en utilisant des fonctions de barrière stochastiques par morceaux.