URL:  https://wwwfr.uni.lu/snt/news_events/research_seminar_simulation_based_security_and_the_applied_pi_calculus Date:  samedi 03 décembre 2022 10:35:51