Événements

6 résultats

• • Séminaire

  • SoSysec

  The Design and Implementation of a Virtual Firmware Monitor

  • 30 janvier 2026 (11:00 - 12:00)

  • Inria Centre of the University of Rennes - Room Petri/Turing

  Orateur : Charly Castes - EPFL

  Low level software is often granted high privilege, yet this need not be the case. Although vendor firmware plays a critical role in the operation and management of the machine, most of its functionality does not require unfettered access to security critical software and data. In this paper we demonstrate that vendor firmware can be safely and efficiently deprivileged, decoupling its[…]

  • SoSysec

  • Compartmentalization

  • Operating system and virtualization

• • Séminaire

  • Cryptographie

  Verification of Rust Cryptographic Implementations with Aeneas

  • 13 février 2026 (13:45 - 14:45)

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

  Orateur : Aymeric Fromherz - Inria

  From secure communications to online banking, cryptography is the cornerstone of most modern secure applications. Unfortunately, cryptographic design and implementation is notoriously error-prone, with a long history of design flaws, implementation bugs, and high-profile attacks. To address this issue, several projects proposed the use of formal verification techniques to statically ensure the[…]

• • Séminaire

  • Cryptographie

  On the average hardness of SIVP for module lattices of fixed rank

  • 06 mars 2026 (13:45 - 14:45)

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

  Orateur : Radu Toma - Sorbonne Université

  In joint work with Koen de Boer, Aurel Page, and Benjamin Wesolowski, we study the hardness of the approximate Shortest Independent Vectors Problem (SIVP) for random module lattices. We use here a natural notion of randomness as defined originally by Siegel through Haar measures. By proving a reduction, we show it is essentially as hard as the problem for arbitrary instances. While this was[…]

• • Séminaire

  • SemSecuElec

  Sécurité physique du mécanisme d'encapsulation de clé Classic McEliece

  • 20 mars 2026 (10:00 - 11:00)

  • Inria Center of the University of Rennes - Espace de conférences

  Orateur : Brice Colombier - Laboratoire Hubert Curien, Université Jean Monnet, Saint-Étienne

  Le mécanisme d'encapsulation de clé Classic McEliece faisait partie des candidats toujours en lice au dernier tour du processus de standardisation de la cryptographie post-quantique initié par le NIST en 2016. Fondé sur les codes correcteurs d'erreurs, en particulier autour du cryptosystème de Niederreiter, sa sécurité n'a pas été fondamentalement remise en cause. Néanmoins, un aspect important du[…]

  • SemSecuElec

  • Implementation of cryptographic algorithm

• • Séminaire

  • Cryptographie

  Journées C2: pas de séminaire

  • 03 avril 2026 (13:45 - 14:45)

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

• • Séminaire

  • Cryptographie

  Endomorphisms via Splittings

  • 10 avril 2026 (13:45 - 14:45)

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

  Orateur : Min-Yi Shen - No Affiliation

  One of the fundamental hardness assumptions underlying isogeny-based cryptography is the problem of finding a non-trivial endomorphism of a given supersingular elliptic curve. In this talk, we show that the problem is related to the problem of finding a splitting of a principally polarised superspecial abelian surface. In particular, we provide formal security reductions and a proof-of-concept[…]

  • Cryptography