December 2023 - Secu-sys.perms.lyon

[Secu-sys.perms] Actions à réaliser - suite à réunion des responsables d’équipes du 11/12

by Pierre Parrend

Bonjour à tous, Beaucoup de sujets lors de la réunion des responsables d’équipes ce matin : * Pour ceux qui ne l'ont pas fait * posez vos congés entre Noël et Nouvel An * Sinon: demande motivée * Suivi des actions (ex: jurys de thèse): à centraliser au niveau des équipes + pensez à maintenir un CV à jour avec ces infos * Déménagement: faites les cartons pour être prêt le moment venu. La logistique déplace les cartons - planifié d'ici le 24/12 * Info calcul de primes: pas d'évolution depuis le GT primes piloté par Etienne Renault * Publications: %age de co-auteurs à donner, un tableau sera envoyé * Pensez à envoyer vos faits marquants à Elodie afin qu'ils soient intégrés à la dernière newsletter de l'année Excellente 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@01DA2C3F.EB5C56B0]<https://www.facebook.com/StrasbourgEPITA> [cid:image003.png@01DA2C3F.EB5C56B0] <https://www.instagram.com/epita_strasbourg/> [cid:image004.png@01DA2C3F.EB5C56B0] <https://www.linkedin.com/school/epita-ecole-ingenieurs-informatique> [cid:image005.png@01DA2C3F.EB5C56B0] <https://twitter.com/epita> [cid:image006.png@01DA2C3F.EB5C56B0] <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@01DA2C3F.EB5C56B0] ______________________ 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, 1 week

1
0
0 0

[Perms.lyon] [Perms] [Permanents] [Current] Appel à contributions Newsletter

by Elodie Puybareau

Bonjour Petit rappel : n'oubliez pas de m'envoyer vos faits marquants afin qu'ils soient intégrés à la dernière newsletter de l'année ! En particulier si vous avez fait un séminaire à l'extérieur, si vous avez fait ou planifié un évènement type journées d'équipes ou raclette, etc. Date limite : mardi 19 Décembre 19h 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//

9 months, 1 week

2
1
0 0

[Perms.lyon] [Perms] [Permanents] [Current] SItes du lre Down

by Vincent Gouaze

Chers collègues, J'espère que ce message vous trouve bien. Je voulais vous informer qu'hier, nous avons rencontré un problème de résolution DNS qui a affecté la connectivité Internet de certains appareils dans notre réseau. Je tiens à vous assurer que l'équipe technique a pris des mesures immédiates pour résoudre ce problème. La bonne nouvelle est que le problème a été résolu avec succès hier à 14h. Cependant, pour vous assurer que vos appareils sont à jour avec les dernières informations DNS, nous vous recommandons de suivre les étapes ci-dessous. Avant de commencer, assurez-vous de sauvegarder votre travail et fermez toutes les applications en cours d'exécution. Instructions pour vider le cache DNS : 1. Redémarrage du PC : Avant d'effectuer les étapes ci-dessous, nous vous recommandons de redémarrer votre PC. Si cela ne suffit pas alors voir l'étape 2. 2. Vider le cache du navigateur : Assurez-vous de vider le cache de votre navigateur pour garantir que les anciennes informations ne sont pas conservées. Si cela ne suffit pas alors voir l'étape 3. 3. Vider le cache DNS : Windows : Ouvrez l'invite de commandes en tant qu'administrateur. Tapez la commande suivante : ipconfig /flushdns Linux (utilisant systemd-resolved) : Ouvrez le terminal. Tapez la commande suivante : sudo systemd-resolve --flush-caches macOS : Ouvrez le Terminal. Tapez la commande suivante : sudo dscacheutil -flushcache Veuillez effectuer ces opérations dans l'ordre indiqué pour vous assurer que vos appareils bénéficient des dernières mises à jour DNS. Si vous avez des questions ou si vous rencontrez des difficultés, n'hésitez pas à contacter notre équipe technique. Nous vous remercions de votre compréhension et de votre coopération. Cordialement, Vincent ______________________ 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

[Secu-sys.perms] Réu d'équipe semaine prochaine

by Pierre Parrend

Bonjour à tous, Nous en avons parlé la semaine dernière, il y a une formation du teaching lab jeudi 14/12 matin. Voilà un framadate pour trouver un créneau qui convient à tout le monde : https://framadate.org/KvRtdY5ijm7ssCnk Bonne fin de journée ! Pierre ______________________ 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, 2 weeks

1
0
0 0

[Perms.lyon] [Perms] [Permanents] [Current] TR: [Lrde] [Lrde Annonce] L'algorithmique du Knuth-Plass

by Thierry Geraud

FYI ________________________________ De : Didier Verna <didier(a)lrde.epita.fr> Envoyé : jeudi 7 décembre 2023 16:41 À : Annonces du LRE <annonce(a)lrde.epita.fr> Objet : [Lrde] [Lrde Annonce] L'algorithmique du Knuth-Plass Chers tous, j'ai le plaisir de vous annoncer une visioconférence en français sur le « Knuth-Plass », l'algorithme de mise en forme / justification de paragraphes de TeX. Cette conférence aura lieu le 11 Janvier 2024 à 20h, dans le cadre des exposés mensuels de l'association GUTenberg. La page d'annonce avec le résumé est disponible à cette adresse: https://www.gutenberg-asso.fr/11-janvier-2024-Expose-sur-l-algorithme-de-Kn… Au plaisir de vous y télé-retrouver... -- Resistance is futile. You will be jazzimilated. Other sites: http://www.didierverna.info ______________________ 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

[Secu-sys.perms] Annulé: Réu équipe Sécu-Systèmes

by Pierre Parrend

________________________________________________________________________________ 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_ZGI5YzFhZGEtZDhiNi00…> ID de la réunion : 355 366 181 466 Code secret : jSvE2T 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> Pour en savoir plus<https://aka.ms/JoinTeamsMeeting> | Options de réunion<https://teams.microsoft.com/meetingOptions/?organizerId=7c5194f6-08ca-45e8-…> ________________________________________________________________________________ ______________________ 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, 2 weeks

1
0
0 0

[Secu-sys.perms] Annulation réunion d'équipe ce jeudi

by Pierre Parrend

Bonjour à tous, La réunion d'équipe de ce jeudi est annulée (7/12). Il y a une formation TeachingLab la semaine prochaine (14/12) et la soutenance des projets bachelor l'après-midi, je propose donc qu'on décale la réunion à un autre jour. Quelles sont vos dispos ? https://framadate.org/DdskNRWmpv1mgelf (on sait déjà que Marc n'est pas là le vendredi donc créneau peu problable). Bonne après-midi ! pierre ______________________ 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, 2 weeks

1
1
0 0

[Perms.lyon] [Perms] mise à jour du .bib

by Thierry Geraud

Bonjour, Des erreurs à corriger rapidement svp, en fin de mail. Priorités aux articles à partir de 2012. Merci d'avance, Bonne journée, Théo * il manque le champ "lrdeteam" dans ces entrées : [cid:a5d1f0e8-b81f-4064-9104-dcf92ed72efb] * il manque le champ "month" dans ces entrées : [cid:4971bfb5-148c-4915-98c8-011b53c63207] * ces entrées n'ont pas de type précis (article, inproceedings, etc.) : [cid:2e657714-4b02-467a-afc4-8f59ec0d8995] * ces entrées n'ont pas d'entrée "lrderank" : [cid:9cbd010c-85c2-452e-bb45-600fdadd8925] ______________________ 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
1
0 0

[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

2024

2023

Secu-sys.perms.lyon December 2023 ----- 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 December 2023