- Secu-sys.perms.lyon

[Perms.lyon] [Perms] [Permanents] [Current] TR: [Lrde] [Lrde Annonce] Soutenance de thèse de Anissa Kheireddine

by Thierry Geraud

________________________________ De : akheireddine <akheireddine(a)lrde.epita.fr> Envoyé : mercredi 6 décembre 2023 10:45 À : Annonces du LRDE <annonce(a)lrde.epita.fr> Objet : [Lrde] [Lrde Annonce] Soutenance de thèse de Anissa Kheireddine Bonjour, J'ai le plaisir de vous inviter à la soutenance de ma thèse intitulée : "Contributions au Bounded model-checking basé sur SAT La soutenance sera présentée en français. Elle aura lieu le mardi 19 décembre 2023 à partir de 10h00 (heure de Paris), en Amphi 401, EPITA, 14-16 Rue Voltaire, 94270 Le Kremlin-Bicêtre. Vous êtes cordialement invité au pot qui suivra. Composition du jury: Rapporteur: Vijay Ganesh, Professeur, GT, Georgia Institute of Technology. Rapporteur: Ahmed Bounekkar, Maître de Conférences, ERIC, Université Claude Bernard Lyon 1. Examinatrice: Laure Petrucci, Professeure, LIPN, Université Sorbonne Paris Nord. Examinatrice: Emmannuelle Encrenaz, Professeure, LIP6, Sorbonne Université. Directeur: Souheib Baarir, Enseignant-Chercheur, LRE, EPITA. Encadrant: Étienne Renault, SiPearl. Résumé : Les systèmes informatiques sont devenus omniprésents dans notre vie quotidienne. Garantir la fiabilité et la robustesse de ces systèmes est une nécessité absolue. La Vérification de Modèles (Model Checking) est l'une des approches dédiées à cette fin. Son objectif est de prouver l'absence de défaillances ou d'identifier d'éventuelles erreurs. Le model checking se décline en plusieurs techniques. Parmi celles-ci, on trouve la Vérification de Modèles Bornée (Bounded Model Checking - BMC), une technique qui repose sur la satisfiabilité booléenne (SAT). L'idée centrale derrière le BMC est de vérifier qu'un modèle, limité à des exécutions bornées par un entier k, satisfait sa spécification, définie comme un ensemble d'expressions logiques temporelles. Dans cette approche, les comportements du système sont exprimés sous forme de problèmes SAT. Contrairement à d'autres méthodes de vérification formelle, le BMC basé sur SAT n'est généralement pas sensible au problème de l'explosion de l'espace d'états, ce qui peut poser problème lors de la conception de systèmes impliquant des millions de variables et de contraintes. Cependant, le compromis réside dans la complexité temporelle, car les problèmes SAT sont connus pour être NP-complets. Au cours des dernières décennies, d'importantes avancées ont été réalisées dans la résolution séquentielle de problèmes SAT. Ces développements se sont principalement concentrés sur l'utilisation d'informations dynamiques, acquises lors du processus de résolution (par exemple, l'apprentissage de clauses binaires) ou d'informations statiques, extraites de la structure inhérente du problème SAT (par exemple, la structure en communauté). Toutefois, moins d'attention a été accordée aux informations structurelles du problème initial. Par exemple, lorsque qu'un problème BMC est réduit à une formule booléenne, des données cruciales sont perdues lors de la traduction. Comme le souligne cette thèse, la réintégration de ces informations perdues peut considérablement améliorer le processus de résolution. Ce travail explore des moyens d'améliorer la résolution de problèmes BMC basés sur SAT, tant dans des contextes séquentiels que parallèles, en exploitant et en valorisant les informations pertinentes extraites des caractéristiques inhérentes du problème. Cela peut impliquer l'amélioration d'heuristiques génériques existantes ou la décomposition efficace de la formule en partitions. Cordialement, Anissa Kheireddine ______________________ Annonce mailing list -- annonce(a)lrde.epita.fr https://lists.lrde.epita.fr/postorius/lists/annonce.lrde.epita.fr// ______________________ Lrde mailing list -- lrde(a)lrde.epita.fr https://lists.lrde.epita.fr/postorius/lists/lrde.lrde.epita.fr// ______________________ Current mailing list -- current(a)ml.lre.epita.fr https://lists.lrde.epita.fr/postorius/lists/current.ml.lre.epita.fr// ______________________ Permanents mailing list -- permanents(a)ml.lre.epita.fr https://lists.lrde.epita.fr/postorius/lists/permanents.ml.lre.epita.fr// ______________________ Perms mailing list -- perms(a)ml.lre.epita.fr https://lists.lrde.epita.fr/postorius/lists/perms.ml.lre.epita.fr// ______________________ Perms.lyon mailing list -- perms.lyon(a)ml.lre.epita.fr https://lists.lrde.epita.fr/postorius/lists/perms.lyon.ml.lre.epita.fr//

9 months, 2 weeks

1
0
0 0

[Perms.lyon] [Perms] nouvelle brochure

by Thierry Geraud

Bonjour, Vous trouverez ici : [https://res.cdn.office.net/assets/mail/file-icon/png/pdf_16x16.png] 20231205 Brochure Institutionnelle EPITA 2024-2025 TEMP.pdf<https://epitafr.sharepoint.com/:b:/s/LRE_Direction/Ed743reFvQlJpmNyFkY8c3EB…> la première mouture de la nouvelle brochure institutionnelle (avec la recherche dedans). On nous demande nos retours ; le fichier suivant vous permettre de noter les coquilles / remarques, etc : [https://res.cdn.office.net/assets/mail/file-icon/png/xlsx_16x16.png] commentaires sur brochure 24-25.xlsx<https://epitafr.sharepoint.com/:x:/s/LRE_Direction/EVgt0jdHnthLlvMhn3OMST0B…> Merci d'avance, et bonne journée, Théo ______________________ Perms mailing list -- perms(a)ml.lre.epita.fr https://lists.lrde.epita.fr/postorius/lists/perms.ml.lre.epita.fr// ______________________ Perms.lyon mailing list -- perms.lyon(a)ml.lre.epita.fr https://lists.lrde.epita.fr/postorius/lists/perms.lyon.ml.lre.epita.fr//

9 months, 2 weeks

1
0
0 0

[Perms.lyon] [Perms] GT Mailing lists LRE

by Pierre Parrend

Bonjour à tous, Suite aux évolutions des mailing lists du labo, il faut maintenant faire du nettoyage : certaines listes seront fermées, d'autres migrées de LRE vers LRDE J'invite tous ceux d'entre vous qui le souhaitent à valider ensemble le contenu de ces deux ensembles de listes la semaine prochaine : https://framadate.org/PP4w9NsCDDC5HHLy Pour les absents, on vous enverra ensuite les conclusions. Très bonne journée à tous, Pierre [Une image contenant texte, clipart, signe Description générée automatiquement]<https://www.epita.fr/> Pierre PARREND LRE - Laboratoire de Recherche de l'EPITA - Directeur Adjoint Resp Equipe Sécu-Systèmes Professeur HDR [cid:image002.png@01DA26A4.0B6A2A50]<https://www.facebook.com/StrasbourgEPITA> [cid:image003.png@01DA26A4.0B6A2A50] <https://www.instagram.com/epita_strasbourg/> [cid:image004.png@01DA26A4.0B6A2A50] <https://www.linkedin.com/school/epita-ecole-ingenieurs-informatique> [cid:image005.png@01DA26A4.0B6A2A50] <https://twitter.com/epita> [cid:image006.png@01DA26A4.0B6A2A50] <https://www.epita.fr/> [Une image contenant texte, clipart Description générée automatiquement] <https://www.youtube.com/channel/UC33NtVL7bStj4FmWeIstKqg> 03 67 18 04 01 [cid:image008.png@01DA26A4.0B6A2A50] ______________________ Perms mailing list -- perms(a)ml.lre.epita.fr https://lists.lrde.epita.fr/postorius/lists/perms.ml.lre.epita.fr// ______________________ Perms.lyon mailing list -- perms.lyon(a)ml.lre.epita.fr https://lists.lrde.epita.fr/postorius/lists/perms.lyon.ml.lre.epita.fr//

9 months, 2 weeks

1
0
0 0

[Perms.lyon] [Perms] Calcul des primes incitatives: mettez à jour les .bib

by Pierre Parrend

Bonjour à tous, C'est la période de calcul des primes incitatives. Pensez à mettre à jours vos publis sur les .bib * https://intra.lre.epita.fr/liste_memos_procedures/#bibliographie Sont concernées prioritaire les publis de rang A et B, mais les autres sont prises en compte pour l'argent de poche. Pour ceux qui n'ont pas encore l'habitude : regardez comment sont formées les autres entrées + n'oubliez pas les DOI ! Deadline : mardi 5/12, vous avez tout juste une semaine ! Merci à tous, Pierre [Une image contenant texte, clipart, signe Description générée automatiquement]<https://www.epita.fr/> Pierre PARREND LRE - Laboratoire de Recherche de l'EPITA - Directeur Adjoint Resp Equipe Sécu-Systèmes Professeur HDR [cid:image002.png@01DA2207.F514FDC0]<https://www.facebook.com/StrasbourgEPITA> [cid:image003.png@01DA2207.F514FDC0] <https://www.instagram.com/epita_strasbourg/> [cid:image004.png@01DA2207.F514FDC0] <https://www.linkedin.com/school/epita-ecole-ingenieurs-informatique> [cid:image005.png@01DA2207.F514FDC0] <https://twitter.com/epita> [cid:image006.png@01DA2207.F514FDC0] <https://www.epita.fr/> [Une image contenant texte, clipart Description générée automatiquement] <https://www.youtube.com/channel/UC33NtVL7bStj4FmWeIstKqg> 03 67 18 04 01 [cid:image008.png@01DA2207.F514FDC0] ______________________ Perms mailing list -- perms(a)ml.lre.epita.fr https://lists.lrde.epita.fr/postorius/lists/perms.ml.lre.epita.fr// ______________________ Perms.lyon mailing list -- perms.lyon(a)ml.lre.epita.fr https://lists.lrde.epita.fr/postorius/lists/perms.lyon.ml.lre.epita.fr//

9 months, 2 weeks

2
3
0 0

[Secu-sys.perms] SAVE THE DATE 24 January - Invitation for my thesis Defense

by Abou rida Amani

Dear Colleagues, I am pleased to invite you to my upcoming thesis defense titled "Enhancing Detection and Explainability in Cybersecurity: A Shift from Machine Learning to Graph Learning." The event is scheduled for Wednesday, 24 January, at 9:00 AM, at the CRBS auditorium, 1 rue Eugène Boeckel, 67000 Strasbourg. This is a prospective date conditioned to the positive evaluation of thesis reviewers. Jury Members: Rapporteurs: Mr. Hervé Debar (Prof., Télécom Sud Paris, Evry) and Ms Valeria Loscri (Prof., INRIA, Lille) Examiners: Mr. Marc-Oliver Pahl (Prof., IMT Atlantique, Rennes), Ms. Anne Jeannin-Girardin (McF HDR, ICube, Strasbourg), Mr. Martin Husak (Dr., Masaryk University, Czech Republic), Ms. Cristel Pelsser (Prof., UCLouvain, Belgium) Supervisors: Mr. PARREND Pierre (Prof., EPITA Strasbourg, ICube, Strasbourg), Mme DERUYVER Aline (McF HDR, Université de Strasbourg, ICube, Strasbourg), and Mr. Amhaz Rabih (Dr., ICAM-Strasbourg-Europe, ICube, Strasbourg) Summary: This thesis focuses on transitioning from traditional machine learning to graph learning in cybersecurity, a crucial shift for representing complex data connections in cyberattacks. However, a key challenge lies in making the graph learning process explainable for cyberattack detection, which is critical for explaining the reason behind the detection and building trust among security analysts. To address this, the research contributes in three main areas. First, it introduces the ComGLSec workflow, a benchmarking process to evaluate graph learning methods based on their performance and inductivity in detecting cyberattacks. Second, it addresses the explainability challenges in graph learning by developing the Inductive GNNExplainer model for topological elucidation of attack detections and the GraphSecLearn library to enhance the contextuality in graph representations of cyberattack patterns. Lastly, the thesis proposes the XAIMetrics Framework for assessing explainability in machine learning, incorporating novel metrics to evaluate various aspects of explainability in the data analysis chain. This comprehensive approach improves understanding and trust in cybersecurity analysis and lays a foundational groundwork for extending these metrics to graph learning, highlighting significant advancements in the field. Keywords: Graph Learning, Explainability, Cybersecurity, Machine Learning, IoT, Benchmarking, Connected Attack Graphs, Event Graphs, Explainability Metrics. To help us prepare adequately, kindly confirm your attendance by completing this short survey: https://evento.renater.fr/survey/participation-a-la-soutenance-de-these-ama…. Looking forward to your attendance! Best Regards, Amani ______________________ Secu-sys.perms mailing list -- secu-sys.perms(a)ml.lre.epita.fr https://lists.lrde.epita.fr/postorius/lists/secu-sys.perms.ml.lre.epita.fr//

9 months, 3 weeks

1
0
0 0

[Secu-sys.perms] CR réunion d'équipe aujourd'hui

by Pierre Parrend

Salut à tous, Vous trouverez toujours au même endroit le CR de la réu d'aujourd'hui, qu'on a faite en petit comité : https://hedgedoc.lre.epita.fr/JMM3tyPeTIqvUsTUwzYpDw?both La liste à faire de la semaine : * Ghada peux-tu stp envoyer l'invitation pour le séminaire de la semaine prochaine ? as-tu toutes les infos ? * David, as-tu un retour de Jean Araujo ? Le séminaire du 11/1 n'est pas encore affecté s'il est dispo à cette date là c'est une bonne opportunité. Très bonne journée à vous, Pierre [Une image contenant texte, clipart, signe Description générée automatiquement]<https://www.epita.fr/> Pierre PARREND LRE - Laboratoire de Recherche de l'EPITA - Directeur Adjoint Resp Equipe Sécu-Systèmes Professeur HDR [cid:image002.png@01DA237A.E2E98CF0]<https://www.facebook.com/StrasbourgEPITA> [cid:image003.png@01DA237A.E2E98CF0] <https://www.instagram.com/epita_strasbourg/> [cid:image004.png@01DA237A.E2E98CF0] <https://www.linkedin.com/school/epita-ecole-ingenieurs-informatique> [cid:image005.png@01DA237A.E2E98CF0] <https://twitter.com/epita> [cid:image006.png@01DA237A.E2E98CF0] <https://www.epita.fr/> [Une image contenant texte, clipart Description générée automatiquement] <https://www.youtube.com/channel/UC33NtVL7bStj4FmWeIstKqg> 03 67 18 04 01 [cid:image008.png@01DA237A.E2E98CF0] ______________________ Secu-sys.perms mailing list -- secu-sys.perms(a)ml.lre.epita.fr https://lists.lrde.epita.fr/postorius/lists/secu-sys.perms.ml.lre.epita.fr//

9 months, 3 weeks

1
0
0 0

[Secu-sys.perms] Notes réu 27/11

by Pierre Parrend

Salut à tous, Avec un peu de retard je vous transmets les infos de la réunion des resp d'équipe d'hier : * Tout les ECs doivent participer à l'encadrement de 42sh: Positionnez-vous ! * Préparation des primes incitatives sur publication (sont concernées: publis rang A, B): mettez à jour le .bib (format OK et DOI inclus) ! * note de Théo : regardez comment sont formées les autres entrées + n'oubliez pas les DOI * Demandes de TT ou absences de dernière minute: de manière exceptionnelle OK, mais pas de manière répétée - si vous avez un paquet à recevoir, faites vous livrer à l'école * Si vous êtes en TT: vous devez être joignable (pers support: être réactif de suite) ++, Pierre [Une image contenant texte, clipart, signe Description générée automatiquement]<https://www.epita.fr/> Pierre PARREND LRE - Laboratoire de Recherche de l'EPITA - Directeur Adjoint Resp Equipe Sécu-Systèmes Professeur HDR [cid:image002.png@01DA2207.B3A966F0]<https://www.facebook.com/StrasbourgEPITA> [cid:image003.png@01DA2207.B3A966F0] <https://www.instagram.com/epita_strasbourg/> [cid:image004.png@01DA2207.B3A966F0] <https://www.linkedin.com/school/epita-ecole-ingenieurs-informatique> [cid:image005.png@01DA2207.B3A966F0] <https://twitter.com/epita> [cid:image006.png@01DA2207.B3A966F0] <https://www.epita.fr/> [Une image contenant texte, clipart Description générée automatiquement] <https://www.youtube.com/channel/UC33NtVL7bStj4FmWeIstKqg> 03 67 18 04 01 [cid:image008.png@01DA2207.B3A966F0] ______________________ Secu-sys.perms mailing list -- secu-sys.perms(a)ml.lre.epita.fr https://lists.lrde.epita.fr/postorius/lists/secu-sys.perms.ml.lre.epita.fr//

9 months, 3 weeks

1
0
0 0

[Perms.lyon] [Perms] [Permanents] [Current] Séminaire-Julien Perez [Axe ML]

by Idir Benouaret

________________________________________________________________________________ Réunion Microsoft Teams Participez à partir de votre ordinateur, de votre application mobile ou de l’appareil de la salle Cliquez ici pour rejoindre la réunion<https://teams.microsoft.com/l/meetup-join/19%3ameeting_N2IyNmJmM2EtYTNmMy00…> ID de la réunion : 319 380 714 150 Code secret : Hf64fz Télécharger Teams<https://www.microsoft.com/en-us/microsoft-teams/download-app> | Rejoindre sur le web<https://www.microsoft.com/microsoft-teams/join-a-meeting> Ou composer le numéro (audio seulement) +33 1 73 44 50 21,,233867899#<tel:+33173445021,,233867899#> France, Paris ID Conférence Téléphone: 233 867 899# Rechercher un numéro local<https://dialin.teams.microsoft.com/b1f8449c-d1c4-451a-9b29-7e5316542160?id=…> | Réinitialiser le code confidentiel<https://dialin.teams.microsoft.com/usp/pstnconferencing> Pour en savoir plus<https://aka.ms/JoinTeamsMeeting> | Options de réunion<https://teams.microsoft.com/meetingOptions/?organizerId=63181773-1d26-4dee-…> ________________________________________________________________________________ ______________________ Current mailing list -- current(a)ml.lre.epita.fr https://lists.lrde.epita.fr/postorius/lists/current.ml.lre.epita.fr// ______________________ Permanents mailing list -- permanents(a)ml.lre.epita.fr https://lists.lrde.epita.fr/postorius/lists/permanents.ml.lre.epita.fr// ______________________ Perms mailing list -- perms(a)ml.lre.epita.fr https://lists.lrde.epita.fr/postorius/lists/perms.ml.lre.epita.fr// ______________________ Perms.lyon mailing list -- perms.lyon(a)ml.lre.epita.fr https://lists.lrde.epita.fr/postorius/lists/perms.lyon.ml.lre.epita.fr//

10 months

1
0
0 0

[Perms.lyon] [Perms] [Permanents] [Current] Séminaire de Julien Perez [Axe ML]

by Idir Benouaret

Bonjour, Je vous annonce que le prochain séminaire de l'axe ML sera donné par Julien Perez, qui a rejoint le LRE et l'équipe IA début novembre. Ci-dessous, le titre et l'abstract du talk Merci de bien vouloir remplir le framadate suivant : https://framadate.org/ctE9bGR4XuGYzRoy Au plus tard le vendredi 24 novembre, afin de fixer rapidement un créneau pour cet évènement. Title: Safe Skill Discovery in Unsupervised Reinforcement Learning and Alignment in Code LLMs. Abstract: This presentation addresses the question of safety and alignment in statistical sequential decision models. The first part of the talk will focus on safety-centric skill discovery using unsupervised reinforcement learning and its application to robotic manipulation, as presented at ICRA'23. We introduce the novel problem of Safety-Aware Skill Discovery, which aims to learn, in a task-agnostic fashion, a repertoire of reusable skills that are inherently safe for composing solutions to downstream tasks. We present a computationally tractable algorithm that learns a latent-conditioned skill policy maximizing intrinsic rewards, regulated by a safety-critic capable of modeling any user-defined safety constraints. Utilizing the pretrained safe skill repertoire, hierarchical reinforcement learning can solve multiple downstream tasks without explicit consideration of safety during training and testing. We evaluate our algorithm on a collection of force-controlled robotic manipulation tasks in simulation, demonstrating promising performance in downstream tasks while satisfying safety constraints. As an opening, in the second part of the talk, I will introduce the recent progress of Code LLM and the emerging alignment requirements. This section serves as a discussion, emphasizing the necessity of alignment in code-based Language Model Models (LLMs) and the imperative safety considerations inherent in this domain. Bonne fin de journée, [Une image contenant texte, clipart, signe Description générée automatiquement] Idir Benouaret Enseignant-Chercheur [https://lh6.googleusercontent.com/dCYVl9pmYNgg1wBndkYtELRR9DX8RRY5d_e4N2Xhk…] [https://lh4.googleusercontent.com/O8lm18dZZ188g_iBNOmO2UX8qPx8zNmCfFbItUDzk…] [https://lh4.googleusercontent.com/iJejRKKnVTGA2lyz-eMOKQvI9vVP-ftzUIqzCoeoR…] [https://lh6.googleusercontent.com/J3eMugeLIjhhZigE4aw44kR3o5SCCOf3J7YJfPDTC…] [https://lh3.googleusercontent.com/2nPXgKhjFiG8S9uTa2TTXP1-CcUjZnjdJ5CVAd3_f…] [Une image contenant texte, clipart Description générée automatiquement] +33 4 28 29 37 63 [https://lh6.googleusercontent.com/hGLtorzP2LwpWN7a7qPxHUf-Ufq7UmoJXpduyzZWG…] ______________________ Current mailing list -- current(a)ml.lre.epita.fr https://lists.lrde.epita.fr/postorius/lists/current.ml.lre.epita.fr// ______________________ Permanents mailing list -- permanents(a)ml.lre.epita.fr https://lists.lrde.epita.fr/postorius/lists/permanents.ml.lre.epita.fr// ______________________ Perms mailing list -- perms(a)ml.lre.epita.fr https://lists.lrde.epita.fr/postorius/lists/perms.ml.lre.epita.fr// ______________________ Perms.lyon mailing list -- perms.lyon(a)ml.lre.epita.fr https://lists.lrde.epita.fr/postorius/lists/perms.lyon.ml.lre.epita.fr//

10 months

1
1
0 0

[Perms.lyon] [Perms] [Permanents] [Current] Newsletter #14

by Elodie Puybareau

Bonjour ! La Newsletter de novembre du LRE est accessible en ligne ici<https://epitafr.sharepoint.com/:b:/s/Communication_LRE/ESTO8TBljQRIvsBtdpco…> ! Bonne journée ! ______________________ Current mailing list -- current(a)ml.lre.epita.fr https://lists.lrde.epita.fr/postorius/lists/current.ml.lre.epita.fr// ______________________ Permanents mailing list -- permanents(a)ml.lre.epita.fr https://lists.lrde.epita.fr/postorius/lists/permanents.ml.lre.epita.fr// ______________________ Perms mailing list -- perms(a)ml.lre.epita.fr https://lists.lrde.epita.fr/postorius/lists/perms.ml.lre.epita.fr// ______________________ Perms.lyon mailing list -- perms.lyon(a)ml.lre.epita.fr https://lists.lrde.epita.fr/postorius/lists/perms.lyon.ml.lre.epita.fr//

10 months

1
0
0 0

2024

2023

Secu-sys.perms.lyon ----- 2024 ----- September 2024 August 2024 July 2024 June 2024 May 2024 April 2024 March 2024 February 2024 January 2024 ----- 2023 ----- December 2023 November 2023 October 2023 September 2023 August 2023

Secu-sys.perms.lyon