Filtrer par type de contenu

Sélectionnez un ou plusieurs filtres. Ce choix permettra de recharger la page pour afficher les résultats filtrés.

Supprimer tous les filtres

726 résultats

    • Groupe de travail

    Modélisation statistique et sécurité des générateurs d'aléa pour la cryptographie

    • 08 avril 2023 (11:00 - 12:00)

    • À l'IRISA, campus de Beaulieu, Rennes

    Orateur : David Lubicz - DGA, IRMAR

    Dans cet exposé on essaie d'expliquer ce que l'on entend pas méthodes statistiques et on donne des exemples concrets d'application dans la cybersécurité.

    • Cryptography

    • Groupe de travail

    Analyse statistique des extrêmes pour la modélisation d'évènements rares ou atypiques

    • 08 avril 2023 (10:00 - 11:00)

    • À l'IRISA, campus de Beaulieu, Rennes

    Orateur : Gilles Stupfler - ENSAI

    • Séminaire

    • SoSysec

    Privacy in The 5G-AKA Authentication Protocol

    • 18 janvier 2019

    • Inria Center of the University of Rennes - - Room TBD

    Orateur : Adrien Koutsos (LSV)

    The 5G mobile communications standards are being finalized, and drafts are now available. This standard describes the 5G-AKA authentication and key exchange protocol. The previous version of AKA (3G and 4G) are well-known for their lack of privacy against an active adversary (e.g. a user can be massively tracked using IMSI-catcher). This new version of AKA tries to offer more privacy, notably[…]

    • Séminaire

    • SoSysec

    A theory of assertions for Dolev-Yao models

    • 08 juin 2018

    • Inria Center of the University of Rennes - - Room TBD

    Orateur : Vaishnavi Sundararajan (Chennai Mathematical Institute, India)

    We undertake an abstract study of certification in security protocols, concentrating on the logical properties and derivability of certificates. Specifically, we extend the Dolev-Yao model with a new class of objects called ‘assertions’, along with an associated algebra for deriving new assertions from old ones. We obtain complexity results for the derivability problem and active intruder problem[…]

    • Séminaire

    • SoSysec

    La protection des flux en télévision numérique

    • 22 novembre 2019

    • Inria Center of the University of Rennes - - Room TBD

    Orateur : Eric Desmicht (DGA)

    En télévision numérique, des flux numériques comportant de la vidéo sont mis à la disposition des utilisateurs via différents média (cable, satellite, TNT, IP…) et différentes techniques (broadcast, multicast, unicast, support numérique…). Pour garantir les revenus des opérateurs de télévision à péage proposant des contenus à forte valeur ajoutée, il est essentiel que seuls les consommateurs ayant[…]

    • Séminaire

    • SoSysec

    Automated verification of privacy-type properties for security protocols

    • 16 mars 2018

    • Inria Center of the University of Rennes - - Room TBD

    Orateur : Ivan Gazeau (LORIA, Inria Nancy)

    The applied pi-calculus is a powerful framework to model protocols and to define security properties. In this symbolic model, it is possible to verify automatically complex security properties such as strong secrecy, anonymity and unlinkability properties which are based on equivalence of processes.In this talk, we will see an overview of a verification method used by a tool, Akiss. The tool is[…]
Haut de page