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:20240331T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:20241027T010000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20240305T100000
DTEND;TZID=Europe/Paris:20240305T110000
DTSTAMP:20260422T164812
CREATED:20240219T133743Z
LAST-MODIFIED:20240304T095339Z
UID:11438-1709632800-1709636400@www.greyc.fr
SUMMARY:Séminaire Algorithmique : « Corecursivity and higher-order computational differentiation\, and some applications »\, Jerzy Karczmarczuk (GREYC\, Caen)
DESCRIPTION:Je présente l’application pratique du codage et de l’algorithmisation corécursive (extrapolatrice\, paresseuse\, qui engendre des flots “infinis”) dans le domaine du calcul scientifique : la manipulation des suites illimitées de dérivées “automatiques” du code numérique. Je discute l’usage du langage fonctionnel Haskell dans le traitement des structures comme les séries formelles ou les approximants de Padé. La formulation fonctionnelle corécursive élimine la plupart du code administratif (“boiler-plate”) comme le contrôle des boucles\, mène à des programmes extrêmement courts et compacts et facilite l’implémentation informatique des constructions mathématiques comme des algèbres différentielles (le pain quotidien dans les mathématiques appliquées\, comme la physique théorique).
URL:https://www.greyc.fr/event/seminaire-algorithmique-corecursivity-and-higher-order-computational-differentiation-and-some-applications-jerzy-karczmarczuk-greyc-caen/
LOCATION:Sciences 3- S3 351
CATEGORIES:Amacc,General,News,Séminaire Algo
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20240319T100000
DTEND;TZID=Europe/Paris:20240319T110000
DTSTAMP:20260422T164812
CREATED:20240304T095601Z
LAST-MODIFIED:20240304T095601Z
UID:11446-1710842400-1710846000@www.greyc.fr
SUMMARY:Séminaire Algorithmique : « Discussion autour du Générateur Sac à dos »\, Florette Martinez (ENS Ulm)
DESCRIPTION:Le Générateur Sac à dos\, proposé en 1985 par Rueppel et Massey est un générateur pseudo aléatoire (PRNG) qui combine un premier PRNG faible\, le LFSR\, et un problème dur \,le problème de la somme de sous-ensemble\, dérivé du problème de sac à dos. Ce générateur a été attaqué avec succès par Knellwolf et Meyer en 2011. \nJe discuterai ici d’une variante plus efficace de cette attaque et des différentes attaques que j’ai pu proposer avec Damien Vergnaud et Charles Bouillaguet contre des variantes de ce générateur.
URL:https://www.greyc.fr/event/seminaire-algorithmique-discussion-autour-du-generateur-sac-a-dos-florette-martinez-ens-ulm/
LOCATION:Sciences 3- S3 351
CATEGORIES:Amacc,General,News,Séminaire Algo
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20240326T100000
DTEND;TZID=Europe/Paris:20240326T110000
DTSTAMP:20260422T164812
CREATED:20240304T095805Z
LAST-MODIFIED:20240304T095805Z
UID:11448-1711447200-1711450800@www.greyc.fr
SUMMARY:Séminaire Algorithmique : « Hardness of the Decoding Problem and its Applications in Post-Quantum Cryptography »\, Maxime Bombar (CWI\, Amsterdam\, Pays-Pas)
DESCRIPTION:Nowadays\, most of our communications over the Internet are encrypted. However\, some cryptographic constructions widely deployed today are vulnerable to quantum attacks\, and the goal of post-quantum cryptography is to design classical cryptosystems based on computational problems which remain hard even with the help of quantum computers. \nIn this talk\, I will give an introduction to cryptography based on the hardness of decoding random linear codes\, which is\, together with lattice-based cryptography\, one of the most promising solutions for building post-quantum cryptosystems. I will more specifically focus on variants of this problem for codes endowed with an additional algebraic structure\, which allows for more efficient cryptographic constructions\, but whose theoretical security is less understood. Finally\, I will give an overview of some on-going work on applications to secure multiparty computation (MPC). The goal of MPC is to enable a group of users (for example several smartphones and a remote server)\, to evaluate together a function over their respective private data\, without revealing anything but the result. This is an old goal in cryptography\, and deep connections with (structured) variants of the decoding problem have recently been established.
URL:https://www.greyc.fr/event/seminaire-algorithmique-hardness-of-the-decoding-problem-and-its-applications-in-post-quantum-cryptography-maxime-bombar-cwi-amsterdam-pays-pas/
LOCATION:Sciences 3- S3 351
CATEGORIES:Amacc,General,News,Séminaire Algo
END:VEVENT
END:VCALENDAR