Je recherche

665 résultats

• • Séminaire

  • SoSysec

  Binary Edwards Curves for intrinsically secure ECC implementations for the IoT

  • 07 septembre 2018

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

  Orateur : Antoine Loiseau (CEA)

  Even if recent advances in public key cryptography tend to focus on algorithms able to survive the post quantum era, at present, there is a urgent need to propose fast, low power and securely implemented cryptography to address the immediate security challenges of the IoT. In this talk, we present a new set of Binary Edwards Curves which have been defined to achieve the highest security levels (up[…]

• • Séminaire

  • SoSysec

  When Good Components Go Bad: Formally Secure CompilationDespite Dynamic Compromise

  • 05 février 2018

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

  Orateur : Catalin Hritcu (Inria Paris)

  We propose a new formal criterion for secure compilation, providing strong end-to-end security guarantees for components written in unsafe, low-level languages with C-style undefined behavior. Our criterion is the first to model dynamic compromise in a system of mutually distrustful components running with least privilege. Each component is protected from all the others until it becomes[…]

• • Séminaire

  • SoSysec

  A Formal Analysis of 5G Authentication

  • 03 juin 2019

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

  Orateur : Sasa Radomirovic (University of Dundee)

  Mobile communication networks connect much of the world’s population. The security of users’ calls, text messages, and mobile data depends on the guarantees provided by the Authenticated Key Exchange protocols used. For the next-generation network (5G), the 3GPP group has standardized the 5G AKA protocol for this purpose.In this talk, I will report on our formalization of the 5G standard’s AKA[…]

• • Séminaire

  • SoSysec

  Machine Learning for Computer Security Detection Systems: Practical Feedback and Solutions

  • 30 novembre 2018

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

  Orateur : Anaël Beaugnon (ANSSI)

  Machine learning based detection models can strengthen detection, but there remain some significant barriers to the widespread deployment of such techniques in operational detection systems. In this presentation, we identify the main challenges to overcome and we provide both methodological guidance and practical solutions to address them. The solutions we present are completely generic to be[…]

• • Séminaire

  • SoSysec

  Model Stealing Attacks Against Inductive Graph Neural Networks

  • 18 février 2022

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

  Orateur : Yufei Han (INRIA)

  Many real-world data come in the form of graphs. Graph neural networks (GNNs), a new family of machine learning (ML) models, have been proposed to fully leverage graph data to build powerful applications. In particular, the inductive GNNs, which can generalize to unseen data, become mainstream in this direction. Machine learning models have shown great potential in various tasks and have been[…]

• • Séminaire

  • SoSysec

  Cybersecurity of industrial systems. Open problems and some ideas.

  • 07 février 2020

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

  Orateur : Stéphane Mocanu (Inria Rhône-Alpes)

  Research in cybersecurity of SCADA systems is a relatively recent field developed mainly into the last decade. Despite the manufacturers progress in hardening the security of device SCADA systems are still prone to severe vulnerabilities and specialized countermeasures are still incipient. This talk aims to present the open problems seen from the boundary between computer science and control[…]