Calendrier d’événements

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 … Continue reading Séminaire Algorithmique : « Corecursivity and higher-order computational differentiation, and some applications », Jerzy Karczmarczuk (GREYC, Caen)

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 … Continue reading Séminaire Algorithmique : « Discussion autour du Générateur Sac à dos », Florette Martinez (ENS Ulm)

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. In this talk, I will give an introduction … Continue reading Séminaire Algorithmique : « Hardness of the Decoding Problem and its Applications in Post-Quantum Cryptography », Maxime Bombar (CWI, Amsterdam, Pays-Pas)