687 résultats

• • Séminaire

  • SoSysec

  [CANCELLED] Black-Box Collision Attacks on Widely Deployed Perceptual Hash Functions and Their Consequences

  • 13 juin 2025 (11:00 - 12:00)

  • Inria Center of the University of Rennes - Aurigny room

  Orateur : Diane Leblanc-Albarel - KU Leuven

  [CANCELLED] Perceptual hash functions identify multimedia content by mapping similar inputs to similar outputs. They are widely used for detecting copyright violations and illegal content but lack transparency, as their design details are typically kept secret. Governments are considering extending the application of these functions to Client-Side Scanning (CSS) for end-to-end encrypted services:[…]

  • Cryptography

  • SoSysec

  • Protocols

• • Séminaire

  • SemSecuElec

  Conformité TEMPEST et compromission d’information au travers de l’arbre d’alimentation d’un équipement

  • 28 novembre 2025 (10:00 - 11:00)

  • IETR - University of Rennes - Campus de BEAULIEU - Bâtiment 11D, salle numéro 18

  Orateur : Tristan PECHERAU, David HARDY - Thalès

  THALES conçoit des équipements cryptographiques et de radiocommunication tactiques, navales et aéronautiques, embarquant des éléments de chiffrement pour la sécurité des communications. Cette sécurité notamment d’un point de vue des émanations électromagnétiques est normée. Ces normes de sécurité de l’information, sont connues sous le nom de code “TEMPEST”, correspondant aux normes OTAN SDIP-27,[…]

• • Séminaire

  • Cryptographie

  Comprehensive Modelling of Power Noise via Gaussian Processes with Applications to True Random Number Generators

  • 27 juin 2025 (13:45 - 14:45)

  • Batiment 22-23 salle 14 (en face de l'amphi Lebesgue)

  Orateur : Maciej Skorski - Laboratoire Hubert Curien

  The talk examines power noise modelling through Gaussian Processes for secure True Random Number Generators.   While revisiting one-sided fractional Brownian motion, we obtain novel contributions by quantifying posterior uncertainty in exact analytical form, establishing quasi-stationary properties, and developing rigorous time-frequency analysis. These results are applied to model oscillator[…]

  • Cryptography

  • TRNG

• • Séminaire

  • Cryptographie

  CryptoVerif: a computationally-sound security protocol verifier

  • 28 novembre 2025 (13:45 - 14:45)

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

  Orateur : Bruno Blanchet - Inria

  CryptoVerif is a security protocol verifier sound in the computational model of cryptography. It produces proofs by sequences of games, like those done manually by cryptographers. It has an automatic proof strategy and can also be guided by the user. It provides a generic method for specifying security assumptions on many cryptographic primitives, and can prove secrecy, authentication, and[…]

  • Cryptography

• • Séminaire

  • Cryptographie

  La crypto-graphie et les crypto-monnaies

  • 13 juin 2025 (13:45 - 14:45)

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

  Orateur : Daniel Augot - INRIA Saclay—Île-de-France

  De nos jours, la requête «crypto» dans un moteur de recherche renvoieaux cryptomonnaies. Mais «crypto means crypto», et on peut se poser laquestion des liens pertinents entre les deux domaines. D'un coté, le monde des cryptomonnaies et de la technologiesous-jacente s'est développé et évolue encore en dehors du mondeacadémique. Il faut suivre d'un coté des posts de blog, des fils dediscussion X[…]

• • Séminaire

  • Cryptographie

  Oblivious Transfer from Zero-Knowledge Proofs (or how to achieve round-optimal quantum Oblivious Transfer without structure)

  • 06 juin 2025 (13:45 - 14:45)

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

  Orateur : Léo Colisson - Université Grenoble Alpes

  We provide a generic construction to turn any classical Zero-Knowledge (ZK) protocol into a composable oblivious transfer (OT) protocol (the protocol itself involving quantum interactions), mostly lifting the round-complexity properties and security guarantees (plain-model/statistical security/unstructured functions…) of the ZK protocol to the resulting OT protocol. Such a construction is unlikely[…]

  • Cryptography