Filter by content type

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

Remove all filters

652 results

    • Seminar

    • SoSysec

    A theory of assertions for Dolev-Yao models

    • June 08, 2018

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

    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 - - Room TBD

    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 - - Room TBD

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

    • Seminar

    • SoSysec

    A Compositional and Complete approach to Verifying Privacy Properties using the Applied Pi-calculus

    • February 08, 2019

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

    Speaker : Ross Horne (University of Luxembourg)

    The pi-calculus was introduced for verifying cryptographic protocols by Abadi and Fournet in 2001. They proposed an equivalence technique, called bisimilarity, useful for verify privacy properties. It is widely acknowledged (cf. Paige and Tarjan 1987), that bisimilarity is more efficient to check than trace equivalence; however, surprisingly, tools based on the applied pi-calculus typically still[…]

    • Seminar

    • SoSysec

    Les cyberopérations: entre technique et droit international. Attribution, preuve et responsabilité.

    • April 02, 2021

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

    Speaker : Anne-Thida Norodom (Professeur de droit public, Université de Paris)

    L’objet de cette intervention est de montrer à quel point le juridique est dépendant du technique lorsqu’il s’agit de réguler les cyberopérations. L’approche choisie sera celle du droit international public, c’est-à-dire du droit applicable entre Etats. Alors qu’il existe un consensus au niveau international sur l’applicabilité du droit international dans le domaine numérique, les négociations en[…]

    • Seminar

    • SoSysec

    Reasoning over leaks of information for Access Control of Databases

    • October 13, 2022

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

    Speaker : Pierre Bourhis (CNRS, CRISTAL)

    Controlling the access of data in Database management systems is a classical problem and it has been solved through different mechanisms. One of the most common mechanism implemented in most Database management systems is the mechanism of views, i.e defining the accessible data of a user as the result of a query. This mechanism is also used in principle in other systems such as in social networks.[…]
Page top