URL:  https://wwwfr.uni.lu/snt/news_events/research_seminar_simulation_based_security_and_the_applied_pi_calculus Date:  mardi 27 septembre 2022 15:35:09