NEXT TALKS

SEPTEMBER 2024

“Acquisition and Exploitation of Traces from Connected Devices” by Francesco Servida (École des Sciences Criminelles, Université de Lausanne(

Date : 27 september 2024
10.00 to 11.00
Webconference

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.

SEPTEMBER 2024

“Understanding and fighting fault injections with programming languages” by Sébastien Michelland (Université Grenoble Alpes, Grenoble INP, LCIS)

Date : 27 september 2024
11.00 to 12.00

Room Pétri/Turing

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.