Institut de Mathématiques de Marseille, UMR 7373




Rechercher


Accueil >

23 mars 2017: 6 événements

Séminaire

  • Agenda ERC IChaos

    Du 1er février au 31 mai - Stage à l'I2M (ERC IChaos) dans le cadre de sa thèse - Bourse HSE Moscou

    Dmitry ZUBOV

    Résumé : Les mesures finiment additives sur les foliations invariantes de diffeomorphismes hyperboliques"

    Lieu : Institut de Mathématiques - Marseille

    Exporter cet événement

En savoir plus : Agenda ERC IChaos

  • Séminaire MABioS

    Du 6 mars 14:00 au 26 avril 15:00 - Loredana Martignetti - Institut Curie

    Pediatric cancer subtype characterization through network and multi-omics data analysis

    Résumé : tba

    Lieu : Amphithéâtre Herbrand, I2M-Sud, campus de Luminy

    Exporter cet événement

    En savoir plus : Séminaire MABioS

  • Agenda ERC IChaos

    Du 17 mars au 1er avril - Alexander BUFETOV

    Participation at the thematic quarter (IHP)

    Lieu : Institut Henri Poincaré - Paris - 11, Rue Pierre et Marie Curie,
    75005 Paris

    Exporter cet événement

    En savoir plus : Agenda ERC IChaos

  • Séminaire Logique et Interactions

    Jeudi 23 mars 11:00-12:00 - Pierre VIAL - IRIF, Paris 7

    The complete unsoundness of coinductive intersection types (and how to escape it)

    Résumé : Certain type assignment systems are known to guarantee or characterize normalization. The grammar of the types they feature is usually inductive. It is easy to see that, when types are coinductively generated, we obtain unsound type systems (meaning here that they are able to type some mute terms). Even more, for most of those systems, it is not difficult to find an argument proving that every term is typable (complete unsoundness). However, this argument does not hold for relevant intersection type systems (ITS), that are more restrictive because they forbid weakening. Thus, the question remains : are relevant ITS featuring coinductive types – despite being unsound – still able to characterize some bigger class of terms ? We show that it is actually not the case : every term is typable in a standard relevant coinductive ITS that we call D. Moreover, we prove that semantical information can be extracted from the typing derivations of D, as the order of the typed terms. Our work also implicitly provides a new non sensible relational model for pure λ-calculus.
    The proofs cannot be handled directly with usual intersection operators, so we introduce a new system that infinite sequences as intersection types (System S). System S provides nice combinatorial features that allows us to express the notion of typability of a term.
    Eventually, we explain how soundness may be retrieved by means of a validity criterion that we call approximability. We then give an type-theoretical characterization of some class of infinitarily normalizing terms i.e. the set of terms whose Böhm tree does not hold bottom (the so called Hereditary Head Normalizing terms).

    Lieu : Salle des séminaires 304-306 (3ème étage) - Institut de Mathématiques de Marseille (UMR 7373)
    Site Sud
    Campus de Luminy, Case 907
    13288 MARSEILLE Cedex 9

    Exporter cet événement

    En savoir plus : Séminaire Logique et Interactions

  • Séminaire Arithmétique et Théorie de l’Information (ATI)

    Jeudi 23 mars 11:00-12:00 - Joan DAEMEN - Univ. Nijmegen et STMicroelectronics

    Innovations in permutation-based encryption and/or authentication (REPORTÉ)

    Résumé : Imagine there’s no block ciphers, it’s easy if you try :-)
    The SHA-3 competition has revealed that a fixed-length permutation is an excellent building block for hashing by means of the sponge. By including a key in the input this can readily be used for message authentication (MAC) and by exploiting the arbitrarily long sponge output for stream encryption. The duplex variant of sponge widens the spectrum to, among other, authenticated encryption and reseedable pseudorandom generation.
    Up to a few years ago, it was widely believed that, for the same level of security, block-cipher-based modes would be more efficient than permutation-based modes. This picture has recently changed thanks to new strong generic security bounds for a keyed duplex variant that allows full-state absorbing. However, the sponge/duplex modes have the disadvantage that they are inherently serial and exploiting parallelism requires building an additional mode layer on top. We address this concern with Farfalle, a new construction that is a parallel keyed sponge variant. Its structure strongly relaxes the cryptographic requirements for the underlying permutation in comparison with keyed sponge or Even-Mansour and hence it has great potential for high-speed crypto. Farfalle builds a pseudorandom function (PRF) with arbitrary-length input and output that can readily be used for stream encryption and MAC. We realize session-based authenticated encryption, synthentic IV authentication encryption and a wide block cipher by the application of some amazingly simple PRF-based modes. In the talk, I will give an overview of these recent innovations in permutation-based crypto.
    All this is joint work with Guido Bertoni, Michaël Peeters, Gilles Van Assche and Ronny Van Keer.

    JPEG - 29.7 ko
    Joan DAEMEN

    Lieu : Luminy, amphi Herbrand

    Notes de dernières minutes : Attention : exposé reporté à une date ultérieure

    Exporter cet événement
    Document(s) associé(s) :

    En savoir plus : Séminaire Arithmétique et Théorie de l’Information (ATI)

  • Séminaire Singularités

    Jeudi 23 mars 14:00-15:00 - Guillaume ROND - I2M, Aix-Marseille Université

    Estimées locales en zéro et division dans les anneaux de séries algébriques (REPORTÉ)

    Résumé : Je vais présenter un problème d’estimée locale en zéro dans des quotients d’anneaux de séries algébriques. La question consiste à relier l’ordre d’annulation d’un polynôme modulo un idéal au degré de ce polynôme. Nous considérerons aussi le cas de d’une série algébrique. Finalement nous montrerons comment ces estimées locales permettent de "contrôler’’ la transcendance des solutions d’équations linéaires à coefficients séries algébriques, solutions pour lesquelles des contraintes de support sont imposées. Ce type d’équations apparaît naturellement en combinatoire ou en théorie des singularités.

    JPEG - 12.1 ko
    Guillaume ROND

    Lieu : FRUMAM

    Notes de dernières minutes : Attention : exposé reporté à une date ultérieure

    Exporter cet événement
    Document(s) associé(s) :

    En savoir plus : Séminaire Singularités

  • 23 mars 2017: 2 événements

    groupe de travail

    • Agenda ERC IChaos

      Du 13 mars au 13 mai - Collaboration scientifique avec les membres de l'ERC IChaos

      Roman ROMANOV - St. Petersburg State University

      Lieu : Institut de Mathématiques - Marseille

      Exporter cet événement

    En savoir plus : Agenda ERC IChaos

  • Groupe de Travail Théorie Analytique, Probabiliste et Automatique des Suites (TAPAS)

    Jeudi 23 mars 15:00-16:00 - Olivier ROBERT - Institut Camille Jordan, Lyon

    Autour des intersections d’une forme diagonale et d’un hyperplan

    Résumé : TBA

    JPEG - 14.2 ko
    Olivier ROBERT

    Lieu : Luminy, TPR2, 304-306

    Exporter cet événement
    Document(s) associé(s) :

    En savoir plus : Groupe de Travail Théorie Analytique, Probabiliste et Automatique des Suites (TAPAS)