687 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

  • SemSecuElec

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

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

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

  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

  Séminaire C2 à INRIA Paris

  • 16 janvier 2026 (10:00 - 17:00)

  • INRIA Paris

  Emmanuel Thomé et Pierrick Gaudry; Rachelle Heim Boissier; Épiphane Nouetowa; Dung Bui.  Plus d'infos sur https://seminaire-c2.inria.fr/ 

• • Séminaire

  • SemSecuElec

  Chamois: Formally verified compilation for optimisation and security

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

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

  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

• • Séminaire

  • SemSecuElec

  ML-Based Hardware Trojan Detection in AI Accelerators via Power Side-Channel Analysis

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

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

  Orateur : Yehya NASSER - IMT Atlantique

  Our work discusses the security risks associated with outsourcing AI accelerator design due to the threat of hardware Trojans (HTs), a problem traditional testing methods fail to address. We introduce a novel solution based on Power Side-Channel Analysis (PSCA), where we collect and preprocess power traces by segmenting them and extracting features from both time and frequency domains. This[…]

  • SemSecuElec

  • Side-channel

  • Machine learning

  • Hardware trojan

• • Séminaire

  • SoSysec

  Should I trust or should I go? A deep dive into the (not so reliable) web PKI trust model

  • 19 décembre 2025 (11:00 - 12:00)

  • Inria Center of the University of Rennes - Room Markov

  Orateur : Romain Laborde - University of Toulouse

  The padlock shown in the URL bar of our favorite web browser indicates that we are connected using a secure HTTPS connection and providing some sense of security. Unfortunately, the reality is slightly more complex. The trust model of the underlying Web PKI is invalid, making TLS a colossus with feet of clay. In this talk, we will dive into the trust model of the web PKI ecosystem to understand[…]

  • SoSysec

  • Protocols

  • Network