Je recherche

741 résultats

• • Séminaire

  • Cryptographie

  Shorter Lattice-Based Fiat-Shamir Signatures

  • 26 janvier 2024

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

  Orateur : Julien Devevey - ANSSI

  We present HAETAE (Hyperball bimodAl modulE rejecTion signAture schemE), a new lattice-based signature scheme, which we submitted to the Korean Post-Quantum Cryptography Competition for standardization. Like the NIST-selected Dilithium signature scheme, HAETAE is based on the Fiat-Shamir with Aborts paradigm, but our design choices target an improved complexity/compactness compromise that is[…]

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

  Ind-cpa-d insecurity of approximate and exact homomorphic encryption schemes

  • 29 mars 2024

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

  Orateur : Elias Suvanto - Cryptolab

  Fully Homomorphic Encryption enables the evaluation of arbitrary circuits over encrypted data while maintaining the confidentiality of the underlying messages. It greatly enhances functionality but also comes with security challenges for some applications like Threshold FHE. While the standard IND-CPA security is sufficient against honest but curious adversaries, a stronger security notion called[…]

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