Je recherche

741 résultats

• • Séminaire

  • Cryptographie

  ECDSA White-Box Implementations, Feedback on CHES 2021 WhibOx Contest

  • 29 septembre 2023

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

  Orateur : Agathe Houzelot - Idemia

  Cryptographic algorithms are primarily designed to be secure in the black-box model, where an attacker can only observe their input/output behavior. However in practice, algorithms are rarely executed in a completely isolated environment and additional information is often leaked. In the context of mobile applications or connected objects, devices often lack secure storage to protect secret keys,[…]

• • Séminaire

  • Cryptographie

  Generic SCARE: reverse engineering without knowing the algorithm nor the machine

  • 12 avril 2024

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

  Orateur : Hélène LE BOUDER - IMT Atlantique

  A novel side-channel-based reverse engineering technique is introduced, capable of reconstructing a procedure solely from inputs, outputs, and traces of execution. Beyond generic restrictions, no prior knowledge of the procedure or the chip it operates on is assumed. These restrictions confine the analysis to 8-bit RISC constant-time software implementations. Specifically, the feasibility of[…]

• • Séminaire

  • Cryptographie

  Finding short integer solutions when the modulus is small

  • 24 novembre 2023

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

  Orateur : Eamonn Postlethwaite - King's College London

  We present cryptanalysis of the inhomogenous short integer solution (ISIS) problem for anomalously small moduli by exploiting the geometry of BKZ reduced bases of q-ary lattices. We apply this cryptanalysis to examples from the literature where taking such small moduli has been suggested. A recent work [Espitau–Tibouchi–Wallet–Yu, CRYPTO 2022] suggests small versions of the lattice signature[…]

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

  When Good Components Go Bad: Formally Secure CompilationDespite Dynamic Compromise

  • 05 février 2018

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

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