Filtrer par type de contenu

Sélectionnez un ou plusieurs filtres. Ce choix permettra de recharger la page pour afficher les résultats filtrés.

Supprimer tous les filtres

634 résultats

    • Séminaire

    • SoSysec

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

    • 02 avril 2021

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

    Orateur : 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[…]
    • Séminaire

    • SoSysec

    On MILP modelisations

    • 29 avril 2022

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

    Orateur : Christina Boura (UVSQ, CNRS, LMV)

    Modelizing a problem using linear constraints and solving it by some Mixed Integer Linear Programming (MILP) solver is a popular approach in many domains of computer science. In this talk we present and compare different new techniques to modelize any subset of {0,1}^n for MILP. We then discuss the efficiency of our models by applying them to the search of differential paths, a classical problem[…]
    • Séminaire

    • SoSysec

    An evaluation of Symbolic Execution Systems and the benefits of compilation with SymCC

    • 25 septembre 2020

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

    Orateur : Aurélien Francillon (Eurecom)

    In this talk I will discuss our recent work, together with Sebastian Poeplau, on Symbolic execution. Symbolic execution has become a popular technique for software testing and vulnerability detection, in particular, because it allows to generate test cases for difficult to reach program paths. However, a major impediment to practical symbolic execution is speed, especially when compared to near[…]
    • Séminaire

    • SoSysec

    Where ML Security Is Broken and How to Fix It

    • 03 février 2023

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

    Orateur : Maura Pintor (PRA Lab, University of Cagliari)

    To understand the sensitivity under attacks and to develop defense mechanisms, machine-learning model designers craft worst-case adversarial perturbations with gradient-descent optimization algorithms against the model under evaluation. However, many of the proposed defenses have been shown to provide a false sense of robustness due to failures of the attacks, rather than actual improvements in[…]
    • Séminaire

    • SoSysec

    Browser fingerprinting: past, present and possible future

    • 21 janvier 2022

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

    Orateur : Pierre Laperdrix (CRIStAL)

    Browser fingerprinting has grown a lot since its debut in 2010. By collecting specific information in the browser, one can learn a lot about a device and its configuration. It has been shown in previous studies that it can even be used to track users online, bypassing current tracking methods like cookies. In this presentation, we will look at how this technique works and present an overview of[…]
    • Séminaire

    • SoSysec

    Intrusion Detection Systems over an Encrypted Traffic: Problem and Solutions

    • 06 décembre 2019

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

    Orateur : Sébastien Canard (Orange)

    Privacy and data confidentiality are today at the heart of many discussions. But such data protection should not be done at the detriment of other security aspects. In the context of network traffic, intrusion detection system becomes in particular totally blind when the traffic is encrypted, making clients again vulnerable to known threats and attacks. Reconciling security and privacy is then one[…]