Filter by content type

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

Remove all filters

633 results

    • Seminar

    • SoSysec

    Built on sand: on the security of Collaborative Machine Learning

    • March 25, 2022

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

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

    • SoSysec

    Intriguing Properties of Adversarial ML Attacks in the Problem Space

    • June 19, 2020

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

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

    • SoSysec

    Not so AdHoc testing: formal methods in the standardization of the EDHOC protocol

    • December 16, 2022

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

    Speaker : Charlie Jacomme (Inria Paris)

    We believe that formal methods in security should be leveraged in all the standardisation’s of security protocols in order to strengthen their guarantees. To be effective, such analyses should be:* maintainable: the security analysis should be performed on every step of the way, i.e. each iteration of the draft;* pessimistic: all possible threat models, notably all sort of compromise should be[…]
    • Seminar

    • SoSysec

    Ransomware Detection Using Markov Chain Models Over File Headers

    • November 26, 2021

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

    Speaker : David Lubicz (DGA-MI)

    In this paper, a new approach for the detection of ransomware based on the runtime analysis of their behaviour is presented. The main idea is to get samples by using a mini-filter to intercept write requests, then decide if a sample corresponds to a benign or a malicious write request. To do so, in a learning phase, statistical models of structured file headers are built using Markov chains. Then[…]
    • Seminar

    • SoSysec

    Reasoning over leaks of information for Access Control of Databases

    • October 13, 2022

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

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

    • SoSysec

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

    • April 02, 2021

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

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