Search

713 results

• • Seminar

  • SoSysec

  Splitting the Linux Kernel for Fun and Profit

  • December 07, 2018

  • Inria Center of the University of Rennes - - See the page of each talk for the room.

  Speaker : Chris Dalton (HP, Bristol, UK)

  This talk looks at a pragmatic attempt at strengthening the security properties of Linux by introducing a degree of intra-kernel protection into the Linux kernel (supported by CPU Virtualization silicon features). Consider it, if you like, an attempt at retrofitting a ‘micro-kernel’ interface into traditionally monolithic Linux whilst maintaining a single linux code base (yes it’s still Linux), no[…]

• • Seminar

  • SoSysec

  Anonymous Server-Aided Verification

  • March 30, 2018

  • Inria Center of the University of Rennes - - See the page of each talk for the room.

  Speaker : par Elena Pagnin (Chalmers University of Technology, Sweden)

  Server-Aided Verification (SAV) is a method that can be employed to speed up the process of verifying signatures by letting the verifier outsource part of its computation load to a third party. Achieving fast and reliable verification under the presence of an untrusted server is an attractive goal in cloud computing and internet of things scenarios.In this talk I will describe a simple and[…]

• • Seminar

  • SoSysec

  Présentation des fondamentaux du management du risque et d’EBIOS Risk Manager

  • November 29, 2019

  • Inria Center of the University of Rennes - - See the page of each talk for the room.

  Speaker : Vincent Loriot (ANSSI)

  Résumé :a. Présentation ANSSIb. Tendances de la menace cyber et démarche pour s’en protégerc. Fondamentaux de la méthode EBIOS Risk ManagerLa présentation théorique sera complétée avec un atelier pratique couvrant les sujets suivants :a. Les besoins et enjeux de sécuritéb. Les couples Source de Risque / Objectif Viséc. La cartographie de menace de l’écosystème 

• • Seminar

  • SoSysec

  Privacy in The 5G-AKA Authentication Protocol

  • January 18, 2019

  • Inria Center of the University of Rennes - - See the page of each talk for the room.

  Speaker : Adrien Koutsos (LSV)

  The 5G mobile communications standards are being finalized, and drafts are now available. This standard describes the 5G-AKA authentication and key exchange protocol. The previous version of AKA (3G and 4G) are well-known for their lack of privacy against an active adversary (e.g. a user can be massively tracked using IMSI-catcher). This new version of AKA tries to offer more privacy, notably[…]

• • Seminar

  • SoSysec

  Intriguing Properties of Adversarial ML Attacks in the Problem Space

  • June 19, 2020

  • Inria Center of the University of Rennes - - See the page of each talk for the 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

  Built on sand: on the security of Collaborative Machine Learning

  • March 25, 2022

  • Inria Center of the University of Rennes - - See the page of each talk for the 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[…]