BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//GREYC UMR CNRS 6072 - Groupe de Recherche en Informatique, Image, et Instrumentation de Caen - ECPv5.7.0//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALNAME:GREYC UMR CNRS 6072 - Groupe de Recherche en Informatique, Image, et Instrumentation de Caen
X-ORIGINAL-URL:https://www.greyc.fr
X-WR-CALDESC:évènements pour GREYC UMR CNRS 6072 - Groupe de Recherche en Informatique, Image, et Instrumentation de Caen
BEGIN:VTIMEZONE
TZID:Europe/Paris
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:20250330T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:20251026T010000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20250429T104500
DTEND;TZID=Europe/Paris:20250429T114500
DTSTAMP:20260421T110711
CREATED:20250416T143759Z
LAST-MODIFIED:20250416T143759Z
UID:11826-1745923500-1745927100@www.greyc.fr
SUMMARY:Séminaire Algorithmique : Nicolas Bitar (LAMFA\, Univ. Picardie)\, « Subshifts of finite type and quasi-isometries beyond groups »
DESCRIPTION:In 1964\, R. Berger proved the existence of strongly aperiodic subshifts of finite type (SFT) on $\mathbb{Z}^2$\, and used them to prove the undecidability of the Domino Problem. With the goal of understanding what aspects of $\mathbb{Z}^2$ account for this result\, there has been an effort in recent years to characterize the groups with undecidable Domino Problem\, and groups that admit strongly aperiodic SFTs. A key result in this direction is a result by Cohen that states that both the decidability of the Domino Problem and the existence of strongly aperiodic SFTs are quasi-isometry invariants for finitely presented groups. In this talk\, I will explain how to generalize this result to new structures called blueprints. I will show how this generalizes results from the literature that use structures other than groups\, and use the result to show that the Domino Problem for multidimensional geometric tilings is undecidable.\n\nThis is joint work with Sebastián Barbieri.
URL:https://www.greyc.fr/event/seminaire-algorithmique-nicolas-bitar-lamfa-univ-picardie-subshifts-of-finite-type-and-quasi-isometries-beyond-groups/
LOCATION:Sciences 3- S3 351
CATEGORIES:Amacc,General,News,Séminaire Algo
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20250429T140000
DTEND;TZID=Europe/Paris:20250429T150000
DTSTAMP:20260421T110711
CREATED:20250429T091630Z
LAST-MODIFIED:20250429T091630Z
UID:11840-1745935200-1745938800@www.greyc.fr
SUMMARY:Tristan Benoît - Approche multimodale pour la génération de noms de fonctions à partir du code binaire
DESCRIPTION:La compréhension du code binaire est cruciale en rétro-ingénierie. Usuellement\, des bases de fonctions servent à identifier dans un binaire les fonctions proches de références connues. Cependant\, souvent les projections sous-jacentes traitent chaque code source séparément. En revanche\, les modèles de langage récents permettent de projeter le code binaire et sa description textuelle dans un même espace vectoriel\, et d’associer des codes binaires ayant des fonctionnalités proches. \nPlus simplement\, il est aussi possible de générer une description sémantique ou un nom de fonction directement\, sans rechercher une fonction proche. Plusieurs méthodes reposent sur des architectures de type transformer\, et visent à traduire du langage binaire vers le langage naturel. Notre nouvelle méthode\, BLens\, inspirée des architectures multimodales pour le sous-titrage d’images\, utilise différentes projections de l’état de l’art et les découpe en morceaux pour améliorer la génération des noms. Après un pré-entraînement basé sur une double tâche multimodale (« contrastive captioning »)\, un nouveau décodeur est ensuite ajouté pour la génération des noms. \nNous montrerons que cette approche surpasse les méthodes existantes\, y compris lors de la nomination de fonctions inédites. Nous discuterons aussi des défis liés à l’évaluation des résultats et à la généralisation\, face à la spécificité ou la réutilisation des codes sources. Enfin\, nous présenterons des pistes futures\, comme l’intégration de modules capables de détecter automatiquement des types ou de suggérer des noms de variables\, pour des annotations complètes et adaptées à l’usage des spécialistes.
URL:https://www.greyc.fr/event/tristan-benoit-approche-multimodale-pour-la-generation-de-noms-de-fonctions-a-partir-du-code-binaire/
LOCATION:Sciences 3- S3 351
CATEGORIES:General,News,Safe,Séminaire Cryptologie et sécurité
END:VEVENT
END:VCALENDAR