Retadup
par Cécile le 26/11/2019 dans SécuritéArticle dans The Conversation de Gérard Peliks sur la contre-attaque du Centre de lutte contre les criminalités numériques (C3N) concernant le botnet Retadup.
Sécurisation de l’internet des objets
par Cécile le 29/01/2019 dans Thèse/HDREn suivant le lien ci-dessous, vous trouverez les travaux de thèse de Mohamed Tahar Hammi réalisés à Télécom Paritech.
https://pastel.archives-ouvertes.fr/tel-01997261/document
Formation initiation au langage Python 10 au 12 avril
par sgaget le 12/02/2018 dans Actualités, Evénements, FormationLa formation permanente de la DR18 du CNRS organise en partenariat avec le réseau des informaticiens Min2Rien, une formation d’initiation au langage Python.
Cette session de 3 jours aura lieu du 10 au 12 avril 2018 sur le site de la délégation CNRS à Lille (2 rue des canonniers).
Les informations sont …
Formation docker 14 et 15 mars 2018
par sgaget le 09/02/2018 dans Actualités, Evénements, FormationLes Service Expérimentation et Développement et Ressources humaines du Centre de Recherche Inria Lille – Nord Europe organisent une formation Docker les 14 et 15 mars.
Objectif pédagogique : prise en main de la technologie docker sur poste de travail.
Programme (2 jours) :
Introduction
Managing docker containers
Inputs/Outputs
Managing docker images
Building docker images
Security considerations
The ecosystem …
Contribution à la vérification de programmes C par combinaison de tests et de preuves.
par Cécile le 10/01/2018 dans Développement, Thèse/HDREn suivant le lien ci-dessous, vous trouverez une thèse qui porte sur le test des programmes C.
Une méthode de diagnostic automatique des échecs de preuve est proposée.
https://tel.archives-ouvertes.fr/tel-01680052