Événements

Séminaires, conférences, workshops... Retrouvez l'agenda de l'animation scientifique portée par CREACH LABS.

    • Séminaire

    • Cryptographie

    Attacking the Supersingular Isogeny Problem: From the Delfs–Galbraith algorithm to oriented graphs

    • 23 janvier 2026 (13:45 - 14:45)

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

    Orateur : Arthur Herlédan Le Merdy - COSIC, KU Leuven

    The threat of quantum computers motivates the introduction of new hard problems for cryptography.One promising candidate is the Isogeny problem: given two elliptic curves, compute a “nice’’ map between them, called an isogeny.In this talk, we study classical attacks on this problem, specialised to supersingular elliptic curves, on which the security of current isogeny-based cryptography relies. In[…]
    • Cryptography

    • 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[…]
Voir tous les rendez-vous scientifiques

Focus

Lutte informatique d'influence

La manipulation de l’information et la lutte d’influence sont vieilles comme la civilisation, mais les moyens techniques de lutte, la dimension du champ d’opération et les enjeux se trouvent magnifiés par le développement de l’espace informationnel et l’importance centrale qu’il prend dans le fonctionnement de nos sociétés.

CREACH LABS organise une conférence sur la lutte informatique d'influence avec pour objectif de regrouper les équipes dans le périmètre de CREACH LABS et les experts du MinArm travaillant sur la lutte informatique d'influence (L2I) afin de jeter un regard croisé sur les principaux enjeux en termes de recherche et ainsi favoriser la mise en place de projets collaboratifs, donner l'opportunité aux post-docs et thésards de réaliser un point d’avancement sur leurs projets et aux équipes d’avoir une vision globale des travaux en cours et des directions stratégiques à prendre.

En savoir plus
Focus-Conference L2I

Actualités

Actualités, faits marquants... Découvrez les dernières infos de CREACH LABS.

Voir toutes les actualités

Publications

Articles, thèses, livres blancs... Retrouvez les publications scientifiques issues des travaux de recherche et collaborations scientifiques soutenues par CREACH LABS.

    • Article

    « Attaque dérobée d'énergie contre les réseaux neuronaux profonds »

    La transition vers l’apprentissage profond a entraîné une augmentation significative de la complexité informatique et de la consommation d’énergie. Cette tendance a incité à l'adoption de matériel d'accélération comme les unités de traitement tensoriel (TPU) et les circuits intégrés spécifiques à une application (ASIC) pour faciliter un déploiement économe en énergie sur les appareils mobiles et[…]
    • Livre blanc

    "Supervision de sécurité"

    La supervision de sécurité est un domaine initié dans les années 80. Même si les fondations du domaine restent inchangées depuis 40 ans, les techniques pour les mettre en œuvre ont bien sûr largement évolué. 
    • Article

    « BAGUETTE : Recherche de preuves de comportements malveillants dans les rapports d'analyse dynamique »

    L'analyse des malwares consiste à étudier un échantillon de code suspect pour le comprendre et produire une représentation ou une explication de ce code qui peut être utilisée par un expert humain ou un outil de clustering/classification/détection.
Voir toutes les publications