Model-checking pour la détection de virus informatiques

il y a 1 mois


Paris, France CNRS Temps plein

Informations générales

Intitulé de l'offre : Model-checking pour la détection de virus informatiques (H/F)
Référence : UMR8243-TAYTOU-001
Nombre de Postes : 2
Lieu de travail : PARIS 13
Date de publication : mercredi 8 mai 2024
Type de contrat : CDD Doctorant/Contrat doctoral
Durée du contrat : 36 mois
Date de début de la thèse : 3 juin 2024
Quotité de travail : Temps complet
Rémunération : La rémunération est d'un minimum de 2135,00 € mensuel
Section(s) CN : Sciences de l'information : fondements de l'informatique, calculs, algorithmes, représentations, exploitations

Description du sujet de thèse

La détection de virus informatiques est de nos jours un problème d'actualité. Les antivirus commerciaux sont basés sur 2 techniques principales: (1) la signature matching et (2) l'émulation de code dans un environnement virtuel. Ces 2 techniques ne sont pas assez robustes. Pour avoir une technique robuste de détection de virus, il nous faut une approche qui permet d'analyser le comportement du programme sans l'exécuter. C'est ce que permet de faire le model-checking.
Le but de cette thèse est donc de proposer de nouvelles techniques de model-checking qui permettraient de détecter les malwares, et d'implanter ces techniques dans un outil de détection de malware.
L'ultime but serait de développer un détecteur de malwares qui concurrencerait largement les antivirus commerciaux dont ont dispose.

Contexte de travail

L'IRIF est une unité mixte de recherche (UMR 8243) entre le CNRS et l'Université Paris Cité.
Les recherches menées à l'IRIF reposent sur l’étude et la compréhension des fondements de toute l’informatique, afin d’apporter des solutions innovantes aux défis actuels et futurs des sciences numériques.



  • Paris 13e, France CNRS Temps plein

    Cette offre est disponible dans les langues suivantes: - Français - Anglais Date Limite Candidature : mercredi 29 mai 2024 **Informations générales**: **Intitulé de l'offre **:Model-checking pour la détection de virus informatiques (H/F)** Référence : UMR8243-TAYTOU-001 Nombre de Postes : 2 Lieu de travail : PARIS 13 Date de publication : mercredi...


  • Paris, France Groupe Aptenia Temps plein

    SOC : ? Contribution à l?amélioration continue du SOC, en définissant et implémentant de nouveaux scénarios de détection? Gestion des alertes et incidents de sécurité, et leurs remédiationsEvolution et maintenance du « SI Sécurité » :MCO, Evolution des outils ? Contribution et déploiement du reporting et des contrôles automatisésGestion des...

  • SOC analyste informatique

    il y a 3 semaines


    Paris, France Crème de la crème Temps plein

    Vous êtes diplômé(e) d'un Bac + 5 minimum en informatique avec une spécialité sécurité des systèmes d?information, vous justifiez d'au moins une première expérience de 3 ans en tant qu'analyste SOC Vous maîtrisez les différents systèmes de détection (SIEM tels que Splunk, QRadar, EDR, NIDS, HIDS, SOAR) notamment sur les analyses...

  • SOC analyste informatique

    il y a 2 semaines


    Paris, France Crème de la crème Temps plein

    Vous êtes diplômé(e) d'un Bac + 5 minimum en informatique avec une spécialité sécurité des systèmes d?information, vous justifiez d'au moins une première expérience de 3 ans en tant qu'analyste SOCVous maîtrisez les différents systèmes de détection (SIEM tels que Splunk, QRadar, EDR, NIDS, HIDS, SOAR...) notamment sur les analyses des journaux...

  • Actuaire Modelisation

    il y a 2 semaines


    Paris, France AG2R La Mondiale Temps plein

    Référence : 2023-29635 **Caractéristique du poste**: **Type de contrat**: C.D.I **Pays / région / département**: France, Ile-de-France, PARIS (75) **Ville**: PARIS POSTULER Rejoindre AG2R LA MONDIALE, c’est rejoindre un Groupe de plus de 10 000 collaborateurs experts en épargne, retraite, prévoyance, santé et engagement social en France, au...


  • Paris, France Inria Temps plein

    **Type de contrat **:CDD **Niveau de diplôme exigé **:Bac + 5 ou équivalent **Fonction **:Doctorant **Contexte et atouts du poste**: Inria Défense&Sécurité (Inria D&S) a été créé en 2020 pour fédérer les actions d’Inria répondant aux besoins numériques des forces armées et forces de l’intérieur. La thèse sera réalisée au sein de...

  • Actuaire Modelisation

    il y a 2 semaines


    Paris, France AG2R La Mondiale Temps plein

    Référence : 2023-29636 **Caractéristique du poste**: **Type de contrat**: C.D.I **Pays / région / département**: France, Ile-de-France, PARIS (75) **Ville**: PARIS POSTULER Rejoindre AG2R LA MONDIALE, c’est rejoindre un Groupe de plus de 10 000 collaborateurs experts en épargne, retraite, prévoyance, santé et engagement social en France, au...


  • Paris, France Banque de France Temps plein

    **Présentation de la direction générale et du service** Au sein de la Direction Générale des Statistiques, des Études et de l’International, la Direction de la Conjoncture et des Prévisions Macroéconomiques (DCPM), composée de trois services et environ 35 agents, est en charge de: - élaborer les prévisions pour la France (macroéconomie...

  • Actuaire Modelisation

    il y a 2 semaines


    Paris, France AG2R La Mondiale Temps plein

    Référence : 2023-29530 **Caractéristique du poste**: **Type de contrat**: C.D.I **Pays / région / département**: France, Ile-de-France, PARIS (75) **Ville**: PARIS POSTULER Rejoindre AG2R LA MONDIALE, c’est rejoindre un Groupe de plus de 10 000 collaborateurs experts en épargne, retraite, prévoyance, santé et engagement social en France, au...

  • Detection Engineer 2

    il y a 3 jours


    Paris, France Datadog Temps plein

    The Product Detection Engineering team at Datadog develops impactful security detection content for Datadog's portfolio of cloud security products. As part of the Security Research organization, you will join a diverse team of hackers and builders who launch impactful security products and research via cross-company collaboration, partnerships with the...


  • Paris, France AG2R La Mondiale Temps plein

    Référence : 2023-31838 **Caractéristique du poste**: **Type de contrat**: C.D.I **Pays / région / département**: France, Ile-de-France, PARIS (75) **Ville**: PARIS POSTULER Rejoindre AG2R LA MONDIALE, c’est rejoindre un Groupe de plus de 15 000 collaborateurs experts en épargne, retraite, prévoyance, santé et engagement social en France, au...

  • SOC analyst

    il y a 3 semaines


    Paris, France Crème de la crème Travail à distance Freelance Temps plein

    Vous êtes diplômé(e) d'un Bac + 5 minimum en informatique avec une spécialité sécurité des systèmes d’information, vous justifiez d'au moins une première expérience de 3 ans en tant qu'analyste SOCVous maîtrisez les différents systèmes de détection (SIEM tels que Splunk, QRadar, EDR, NIDS, HIDS, SOAR...) notamment sur les...


  • Paris, France STMicroelectronics Temps plein

    Position description **Posting title**: - STAGE - Detection automatique des elements d'un document technique avec Machine Learning M/F **Regular/Temporary**: - Temporary **Contract duration (nb of months)**: - 6 months **Job description**: - POURQUOI NOUS REJOINDRE - Chez ST, nous sommes 50 000 hommes et femmes créateurs et fabricants de...

  • Expert Modélisation

    il y a 1 mois


    Paris, France Société Générale Temps plein

    **Vos missions au quotidien**: La fonction de modélisateur ALM est chargée de spécifier, développer, maintenir et optimiser les outils et modèles informatiques nécessaires aux calculs prospectifs ALM et réglementaires: - Notamment concernant Solvabilité 2, normes IFRS, budget (non exhaustif) - Sur les périmètres épargne/retraite, prévoyance,...


  • Paris, France SINTEL Temps plein

    SINTEL recrute pour l'un de ses clients, belle Maison française de Prêt-à-Porter féminin et masculin, unMÉCANICIEN JERSEY H/F Vous devrez fournir un travail minutieux et soigneux sur les missions suivantes :- Prise en charge du montage des prototypes jersey- Suivi des consignes des gammes de montage- Coupe des modèles- Détection des difficultés et...

  • Tech Lead

    il y a 6 jours


    Paris 15e, France ANSSI Temps plein

    **Tech lead - Système de Détection F/H**: - Ajouter aux favoris- Télécharger en PDF **Descriptif de l'organisation**: Rejoindre l’Agence nationale de la sécurité des systèmes d’information (ANSSI), c’est mettre ses compétences au service de l’intérêt général en participant à une mission capitale, d’actualité et porteuse de grandes...


  • Paris, France Groupe Caisse des Dépôts Temps plein

    Le poste est rattaché au Responsable du service Modélisation de la Direction des Risques du Groupe (DRG).  Missions  L’ chargé.e de modélisation crédit participera avec les collaborateurs du pôle Modélisation, et sous leur supervision, aux missions suivantes : Mise en place et maintenance des modèles de notation internes. Définition et...


  • Paris, France Groupe Caisse des Dépôts Temps plein

    Le poste est rattaché au Responsable du service Modélisation de la Direction des Risques du Groupe (DRG).  Missions  L’ chargé.e de modélisation crédit participera avec les collaborateurs du pôle Modélisation, et sous leur supervision, aux missions suivantes : Mise en place et maintenance des modèles de notation internes. Définition et...


  • Paris, France Banque de France Temps plein

    **Présentation de la direction générale et du service** La Direction Générale des Services à l'Économie et du Réseau (DGSER) pilote plusieurs activités : elle assure la collecte, l’analyse et la diffusion d’informations sur les entreprises non financières (Direction des entreprises), le suivi des relations entre les particuliers et la sphère...

  • Tech lead

    il y a 6 jours


    Paris, France ANSSI Temps plein

    Descriptif des missions Le tech lead, en tant qu'adjoint(e) au chef de bureau ASD, encadre opérationnellement l'équipe technique. Le poste est ouvert à Paris. Vos activités principales Coordonner les activités du bureau dans ses missions d'architecture, de développement et d’exploitation du système de supervision de la sécurité ; Veiller...