Les rançongiciels sont une menace en constante évolution. Afin de mieux comprendre leur complexité, Jean-Yves Marion, professeur à l’Université de Lorraine, membre du Loria (CNRS – Université de Lorraine) et membre IUF Sénior, adopte une perspective systémique, en intégrant les dimensions organisationnelles, humaines, économiques, technologiques et géopolitiques. Ses travaux ont fait la couverture de la prestigieuse revue Communications of the ACM (Association for Computing Machinery).
Bravo à Vincent Trélat, doctorant dans l’équipe Mosel-Veridis, lauréat d’un Best Paper Award à la conférence ABZ 2025 (International Conference on Rigorous State-Based Methods).
Une belle récompense pour son article “Safely Encoding B Proof Obligations in SMT-LIB“.
Cette conférence internationale en méthodes formelles s’est tenue à Düsseldorf du 10 au 13 juin.
Conjuguant les expertises de la science des matériaux et de l’informatique, la startup S.A.M (Signature et Authentification des Matériaux) propose un produit innovant de certification et de lutte anti-contrefaçon, mais aussi une nouvelle approche du stockage d’informations. Un modèle de collaboration pluridisciplinaire sur lequel reviennent Samuel Kenzari et Sylvain Lefebvre, deux des trois cofondateurs de S.A.M, respectivement responsables des équipes MPA à l’Institut Jean Lamour (CNRS-Université de Lorraine) et de l’équipe MFX du Loria (CNRS -Université de Lorraine) et du centre Inria de l’Université de Lorraine.
Dans le cadre de sa thèse, Amandine Decker, doctorante dans l’équipe Sémagramme, vous invite à participer à l’expérience Montgolgram, à travers deux tâches de dialogue.
