Je recherche

698 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

  Learning-Based Network Intrusion Detection: an Imbalanced, Constantly Evolving and Timely Problem

  • 07 octobre 2022

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

  Orateur : Maxime Pelcat (INSA Rennes)

  Network intrusion detection systems (NIDS) observe network traffic and aim to pinpoint intrusions, i.e. effective threats on the integrity, availability or confidentiality of services and data provided by this network. There are two types of NIDS:1) signature-based intrusion detection systems that identify known intrusions by referring to an existing knowledge base, and2) anomaly-based intrusion[…]

• • Séminaire

  • SoSysec

  Does Facebook use sensitive data for advertising?

  • 12 mars 2021

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

  Orateur : José González Cabañas (Universidad Carlos III de Madrid, Spain)

  Large online platforms use personal data, for example, your interests, to allow advertisers to reach you based on the things you like. But did you know some of these interests they use are associated with sensitive information directly linked to your social profile? In this talk, I will talk about the definition of sensitive data in terms of the General Data Protection Regulation in Europe (GDPR).[…]

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