Événements

11 résultats

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

• • Séminaire

  • SemSecuElec

  Protection des processeurs modernes face à la vulnérabilité Spectre

  • 24 avril 2026 (10:00 - 11:00)

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

  Orateur : Herinomena ANDRIANATREHINA - Inria

  Dans la quête permanente d'une puissance de calcul plus rapide, les processeurs modernes utilisent des techniques permettant d'exploiter au maximum leurs ressources. Parmi ces techniques, l'exécution spéculative tente de prédire le résultat des instructions dont l'issue n'est pas encore connue, mais dont dépend la suite du programme. Cela permet au processeur d'éviter d'être inactif. Cependant,[…]

  • SemSecuElec

  • Micro-architectural vulnerabilities

• • Séminaire

  • SemSecuElec

  Post-Quantum Cryptography Accelerated by a Superscalar RISC-V Processor

  • 24 avril 2026 (11:00 - 12:00)

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

  Orateur : Côme Allart - Inria

  Two major changes are currently taking place in the embedded processor ecosystem: open source with the RISC-V instruction set, which could replace the ARM one, and post-quantum cryptography (PQC), which could replace classic asymmetric cryptography algorithms to resist quantum computers.In this context, this thesis investigates the improvement of embedded processor performance, generally for[…]

  • SemSecuElec

  • Implementation of cryptographic algorithm

• • Séminaire

  • SemSecuElec

  Chamois: Formally verified compilation for optimisation and security

  • 26 juin 2026 (10:00 - 11:00)

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

  Orateur : David MONNIAUX - CNRS - Verimag

  Embedded programs (including those on smart cards) are often developed in C and then compiled for the embedded processor. Sometimes they are modified by hand to incorporate countermeasures (fault attacks, etc.), but care must be taken to ensure that this does not disrupt normal program execution and that the countermeasure is actually adequate for blocking the attacks.In the process, it is[…]

  • SemSecuElec

  • Fault injection

  • Formal methods