Filter by content type
Select one or more filters. This choice will reload the page to display the filtered results.
655 results
-
-
Seminar
-
Cryptography
Soutenance de thèse : Les attaques physiques sur les chiffrements intègres légers
Speaker : Modou Sarry - IMT Atlantique
Les dispositifs interconnectés tels que les réseaux de capteurs, la santé, les systèmes de contrôle distribués, l’internet des objets et les systèmes cyber-physiques sont de plus en plus répandus. Cette transition vers de petits appareils engendre de nouvelles préoccupations en matière de sécurité et de vie privée, car de nombreux algorithmes cryptographiques classiques ne répondent pas toujours[…] -
-
-
Seminar
-
SemSecuElec
(On) The Impact of the Micro-architecture on the Masking Countermeasure against Side-Channel Attacks
Speaker : Lorenzo Casalino - CentraleSupélec, IRISA, Inria (SUSHI team)
The masking countermeasure constitutes a provably secure approach against side-channel attacks. Nonetheless, in the software context, the micro-architecture underlying a given CPU potentially induces information leakages undermining the masking's proven security.In this seminar, I will present the research work developed during my Ph.D. at CEA-List in Grenoble. This work addresses, along two axes,[…]-
SemSecuElec
-
Side-channel
-
Micro-architectural vulnerabilities
-
-
-
Seminar
-
Cryptography
Adapting Identity-based Encryption with Wildcards to Access Control
Speaker : Anaïs Barthoulot - Université de Montpellier
Nowadays, connected objects play an important role in our daily lives, providing services related to our cities, cars, homes, and health. For this purpose, they often need to be accessible by external entities, such as a garage owner (for a connected car), a postman (for a connected home), or a doctor (for a connected health device). However, it is crucial for the owner of such objects to retain[…] -
-
-
Seminar
-
Cryptography
Elliptic curves for SNARK and proof systems
Speaker : Aurore Guillevic - INRIA Rennes
This talk is based on joint works with Diego Aranha, Youssef El Housni, and Simon Masson. Elliptic curves make possible in practice very interesting mechanisms of proofs. The security relies on the difficulty of the discrete log problem and variants. Succinct non-interactive arguments of knowledge (SNARK) are a very fruitful topic, so that given a sequence of instructions that can be quite large,[…] -
-
-
-
Seminar
-
SemSecuElec
TrustSoC : a heterogeneous secure-by-design SoC architecture
Speaker : Raphaële Milan - Université Jean Monnet Saint-Etienne, CNRS, Laboratoire Hubert Curien UMR 5516
Since the 1970s, the complexity of systems on a chip has grown significantly. In order to improve system performance, manufacturers are integrating an increasing number of heterogeneous components on a single silicon chip. The incorporation of these components renders SoCs highly versatile yet significantly complex. Their multipurpose nature makes them suitable for use in a variety of domains,[…]-
SemSecuElec
-