Je recherche

711 résultats

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

• • Séminaire

  • SoSysec

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

  • 08 février 2019

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

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

• • Séminaire

  • SoSysec

  Built on sand: on the security of Collaborative Machine Learning

  • 25 mars 2022

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

  Orateur : Dario Pasquini (EPFL)

  This talk is about inaccurate assumptions, unrealistic trust models, and flawed methodologies affecting current collaborative machine learning techniques. In the presentation, we cover different security issues concerning both emerging approaches and well-established solutions in privacy-preserving collaborative machine learning. We start by discussing the inherent insecurity of Split Learning and[…]

• • Séminaire

  • SoSysec

  Intriguing Properties of Adversarial ML Attacks in the Problem Space

  • 19 juin 2020

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

  Orateur : Fabio Pierazzi (King’s College London)

  Recent research efforts on adversarial ML have investigated problem-space attacks, focusing on the generation of real evasive objects in domains where, unlike images, there is no clear inverse mapping to the feature space (e.g., software). However, the design, comparison, and real-world implications of problem-space attacks remain underexplored. In this talk, I will present two major contributions[…]