Search

732 results

• • 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

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

  • February 25, 2022

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

  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 - - See the page of each talk for the room.

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

• • Seminar

  • SoSysec

  Formal security proofs in a post-quantum world

  • November 19, 2021

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

  Speaker : Charlie Jacomme (CISPA)

  In the recent years, formals methods for security and their associated tools have been used successfully both to find novel and complex attacks on many protocols [A] and to help in their standardization process. They however face a new challenge with the increasing probability of quantum computers coming into the real-world: we need to be able to provide guarantees against quantum attackers.In[…]

• • Seminar

  • SoSysec

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

  • October 07, 2022

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

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

• • Seminar

  • SoSysec

  Does Facebook use sensitive data for advertising?

  • March 12, 2021

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

  Speaker : 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).[…]