La prochaine session du séminaire sécurité des systèmes électroniques embarqués aura lieu le vendredi 27 septembre de 10h à 12h.
Le séminaire aura lieu dans les locaux de l'Inria Rennes, salle Pétri/Turing.
Attention : Première présentation en distanciel
Le programme de cette session est le suivant :
10h - 12h : Francesco Servida (École des Sciences Criminelles, Université de Lausanne)
Titre : Acquisition and Exploitation of Traces from Connected Devices
Résumé : This presentation aims to give an overview of the traces that can be obtained from connected objects as witnesses or actors at a crime scene. Using several scenarios we cover the challenges of detecting connected devices, the relevant locations for data retrieval and the techniques for acquiring said data. We then present how such data can be useful in helping to understand the dynamics of events of interest to investigators, as well as the challenges involved in exploiting such data.
11h - 12h : Sébastien Michelland (Université Grenoble Alpes, Grenoble INP, LCIS)
Titre : Understanding and fighting fault injections with programming languages
Résumé :
Would your latest program produce correct results if I skipped a statement in it? Two? Corrupted a variable at random? Then it might not be robust against _fault injection attacks_, which target hardware directly and have such effects. To be fair, nothing really resists them; still, efforts in designing protections have come a long way, relying (perhaps surprisingly) in large part on hardening code, which is much easier to deploy than new hardware. Of course, modeling the effects of physical tinkering at the abstraction level of a program requires inherent approximations, and recent work has shown that even countermeasures based on assembler-level models (the most common type) can still be bypassed by abusing micro-architectural effects.
In this non-expert talk, I'll discuss fault attacks from a programming-language point of view. The focus will be on conceptualizing what faults and countermeasures mean for programs. I'll show how building a semantic model of a vicious kind of instruction skip leads us to design a mixed software/hardware countermeasure and formally prove it secure. I'll also touch briefly on the challenges of implementing security transformations in the LLVM compiler, which understands security about as well as C (for non-C-programmers, that's not at all). This talk will treat you to both inference rules and linker relocations.
Le séminaire est ouvert à tous en présentiel et en distanciel.
Pour assister au séminaire en présentiel, l'inscription est obligatoire au moins 48h à l'avance pour tous les participants en présentiel auprès de Nadia Derouault <nadia [*] derouault
inria [*] fr>. Les participants externes devront se présenter à l'accueil avec une pièce d'identité.
Ci-dessous les informations de connexion à la visioconférence :
------------------------------------------------------------------------------------------------------------------------------
REJOINDRE LA RÉUNION WEBEX
https://inria.webex.com/inria/j.php?MTID=m08e3a60e83058b819ceb5b6f01f39…
Numéro de la réunion (code d’accès) : 2740 994 8690
Mot de passe de la réunion : PHskwTMJ623
TAPEZ POUR REJOINDRE LA RÉUNION À PARTIR D’UN PÉRIPHÉRIQUE MOBILE (UNIQUEMENT POUR LES PARTICIPANTS)
+33-1-8514-8835,,27409948690## tel:%2B33-1-8514-8835,,*01*27409948690%23%23*01* France Toll 2
REJOINDRE PAR TÉLÉPHONE
+33-1-8514-8835 France Toll 2
Numéros d'appel internationaux
https://inria.webex.com/inria/globalcallin.php?MTID=m0a0d08974512238873…
REJOINDRE À PARTIR D’UN SYSTÈME OU D’UNE APPLICATION VIDÉO
Composer le numéro sip:27409948690inria [*] webex [*] com
Vous pouvez également composer le 62.109.219.4 et saisir votre numéro de votre réunion.