Je recherche

679 résultats

• • Séminaire

  • Cryptographie

  Evaluation embarquée de l'entropie d'un générateur d'aléa pour la cryptographie

  • 12 janvier 2024

  • IRMAR - Université de Rennes - Campus Beaulieu Bat. 22, RDC, Rennes - Amphi Lebesgue

  Orateur : David Lubicz - DGA et IRMAR

  Dans cet exposé, nous présentons une méthode de mesure embarquée de la composante thermique du jitter de phase d'un couple d'anneaux d'oscillateurs : cette mesure est nécessaire pour calculer le taux d'entropie d'un générateur d'aléa physique basé sur des anneaux oscillants. La précision de cette mesure dont le principe repose sur un algorithme de type Monte-Carlo dépend de l' équidistribution de[…]

• • Groupe de travail

  Modélisation statistique et sécurité des générateurs d'aléa pour la cryptographie

  • 08 avril 2023 (11:00 - 12:00)

  • À l'IRISA, campus de Beaulieu, Rennes

  Orateur : David Lubicz - DGA, IRMAR

  Dans cet exposé on essaie d'expliquer ce que l'on entend pas méthodes statistiques et on donne des exemples concrets d'application dans la cybersécurité.

  • Cryptography

• • Groupe de travail

  Analyse statistique des extrêmes pour la modélisation d'évènements rares ou atypiques

  • 08 avril 2023 (10:00 - 11:00)

  • À l'IRISA, campus de Beaulieu, Rennes

  Orateur : Gilles Stupfler - ENSAI

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