Filter by content type

Select one or more filters. This choice will reload the page to display the filtered results.

Remove all filters

632 results

    • Seminar

    • SoSysec

    Anonymous Server-Aided Verification

    • March 30, 2018

    • Inria Center of the University of Rennes - - Petri/Turing room

    Speaker : par Elena Pagnin (Chalmers University of Technology, Sweden)

    Server-Aided Verification (SAV) is a method that can be employed to speed up the process of verifying signatures by letting the verifier outsource part of its computation load to a third party. Achieving fast and reliable verification under the presence of an untrusted server is an attractive goal in cloud computing and internet of things scenarios.In this talk I will describe a simple and[…]

    • Seminar

    • SoSysec

    Présentation des fondamentaux du management du risque et d’EBIOS Risk Manager

    • November 29, 2019

    • Inria Center of the University of Rennes - - Petri/Turing room

    Speaker : Vincent Loriot (ANSSI)

    Résumé :a. Présentation ANSSIb. Tendances de la menace cyber et démarche pour s’en protégerc. Fondamentaux de la méthode EBIOS Risk ManagerLa présentation théorique sera complétée avec un atelier pratique couvrant les sujets suivants :a. Les besoins et enjeux de sécuritéb. Les couples Source de Risque / Objectif Viséc. La cartographie de menace de l’écosystème 

    • Seminar

    • SoSysec

    Privacy in The 5G-AKA Authentication Protocol

    • January 18, 2019

    • Inria Center of the University of Rennes - - Petri/Turing room

    Speaker : 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[…]

    • Seminar

    • SoSysec

    A theory of assertions for Dolev-Yao models

    • June 08, 2018

    • Inria Center of the University of Rennes - - Petri/Turing room

    Speaker : 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[…]

    • Seminar

    • SoSysec

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

    • November 22, 2019

    • Inria Center of the University of Rennes - - Petri/Turing room

    Speaker : 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[…]

    • Seminar

    • SoSysec

    Automated verification of privacy-type properties for security protocols

    • March 16, 2018

    • Inria Center of the University of Rennes - - Petri/Turing room

    Speaker : 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[…]
Page top