Table of contents

Filter by content type

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

Remove all filters

717 results

    • Seminar

    • SoSysec

    Splitting the Linux Kernel for Fun and Profit

    • December 07, 2018

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

    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 - - Room TBD

    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 - - Room TBD

    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 - - Room TBD

    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

    Search-Based Local Black-Box Deobfuscation: Understand, Improve and Mitigate

    • February 25, 2022

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

    Speaker : Grégoire Menguy (CEA LIST)

    Code obfuscation aims at protecting Intellectual Property and other secrets embedded into software from being retrieved. Recent works leverage advances in artificial intelligence (AI) with the hope of getting blackbox deobfuscators completely immune to standard (whitebox) protection mechanisms. While promising, this new field of AI-based, and more specifically search-based blackbox deobfuscation,[…]

    • Seminar

    • SoSysec

    QUIC: que faut-il attendre de ce nouveau protocole de communication sécurisé ?

    • May 29, 2020

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

    Speaker : Olivier Levillain (Telecom Sudparis)

    Depuis plusieurs années, les grands acteurs du web travaillent à l’amélioration des communications entre leurs utilisateurs et leurs services. Ces améliorations peuvent porter sur la vitesse des connexions ou sur la sécurité des échanges. QUIC fait partie des efforts en cours. Il s’agit d’un protocole en cours de standardisation à l’IETF, qu’on peut résumer à un protocole sur UDP fournissant les[…]
Page top