Je recherche

671 résultats

• • Séminaire

  • SemSecuElec

  Side-Channel Based Disassembly on Complex Processors: From Microachitectural Characterization to Probabilistic Models

  • 27 juin 2025 (11:00 - 12:00)

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

  Orateur : Julien Maillard - CEA

  Side-Channel Based Disassembly (SCBD) is a category of Side-Channel Analysis (SCA) that aims at recovering information on the code executed by a processor through the observation of physical side-channels such as power consumption or electromagnetic radiations. While traditional SCA often targets cryptographic keys, SCBD focuses on retrieving assembly code that can hardly be extracted via other[…]

  • SemSecuElec

  • Side-channel

  • Hardware reverse

• • Séminaire

  • SoSysec

  Tackling obfuscated code through variant analysis and Graph Neural Networks

  • 21 mars 2025 (11:00 - 12:00)

  • Inria Center of the University of Rennes - - Petri/Turing room

  Orateur : Roxane Cohen and Robin David - Quarkslab

  Existing deobfuscation techniques usually target specific obfuscation passes and assume a prior knowledge of obfuscated location within a program. Also, some approaches tend to be computationally costly. Conversely, few research consider bypassing obfuscation through correlation of various variants of the same obfuscated program or a clear program and a later obfuscated variant. Both scenarios are[…]

  • Malware analysis

  • Binary analysis

  • Obfuscation

• • Séminaire

  • Cryptographie

  Cryptanalyse différentielle de chiffrements conjugués.

  • 07 février 2025 (13:45 - 14:45)

  • Salle Guernesey à l'ISTIC

  Orateur : Jules Baudrin - UC Louvain

  En cryptographie symétrique, le choix d'une (ou de plusieurs) représentation appropriée est un point crucial à la fois dans la recherche d'attaques et dans la conception de nouvelles primitives.  En effet, les transformations mises en oeuvre sont souvent représentées commes des ensembles de polynômes univariés ou multivariés et cette pluralité de points de vue est très féconde. Par exemple, l'AES[…]

• • Séminaire

  • SoSysec

  Cherifying Linux: A Practical View on using CHERI

  • 31 janvier 2025 (11:00 - 12:00)

  • Centre Inria de l'Université de Rennes - - salle Aurigny

  Orateur : Kui Wang - Huawei

  The CHERI ISA extension enables modern RISC CPU architectures such as RISC-V to enforce memory safety in C/C++ programs. Recent academic works use CHERI for point solutions like constructing enclaves, verifying C programs, or hardening bytecode interpreters, but since the original construction of the CHERI-BSD OS - a FreeBSD port leveraging CHERI capabilities, by Cambridge University - little has[…]

  • SoSysec

  • Compartmentalization

  • Operating system and virtualization

• • Séminaire

  • Cryptographie

  Journées C2

  • 04 avril 2025 (00:00 - 18:00)

  • Pornichet

• • Séminaire

  • SoSysec

  A Universal Composability analysis of Android Protected Confirmation

  • 17 janvier 2025 (11:00 - 12:00)

  • Inria Center of the University of Rennes - - Petri/Turing room

  Orateur : Maïwenn Racouchot - CISPA

  As phones are used for more and more sensitive operations (such as bank transfers for example), there is a great necessity to design and deploy protocols that can ensure the security of such transactions, even in cases when the phone has been compromised. In order to accomplish that, Android in collaboration with Google have worked on a protocol called Android Protected Confirmation. The idea[…]

  • SoSysec

  • Formal methods

  • Protocols