Séminaire de Laboratoire

Side-channel-free software, are we there yet?

David — Mon, 26 May 2025 09:32:04 +0000

Side-channel-free software, are we there yet? David lun 26/05/2025 - 11:32

05 juin 2025

Clémentine Maurice (Crystal, CNRS) présente ses travaux en séminaire le jeudi 05 juin à 14h en 301

Over the past decade, many different automated approaches have been developed to detect side-channel vulnerabilities in cryptographic libraries. However, despite this abundance of tools, side-channel vulnerabilities are still regularly (and manually) found in cryptographic libraries. In this talk, we will investigate this paradox. We begin with a short example of an attack on a real cryptographic library using a cache side-channel attack called Flush+Reload. We continue with a survey and classification of recently published side-channel vulnerabilities and side-channel detection tools. We propose a unified benchmark, and our evaluation suggests several reasons why existing tools may struggle to find vulnerabilities. We conclude by analyzing the impact of recent attacks on such automated detection tools.

Should computations halt?

David — Mon, 26 May 2025 09:30:13 +0000

Should computations halt? David lun 26/05/2025 - 11:30

Séminaire de Laboratoire

22 mai 2025

Salvador Lucas (Universitat Politècnica de València) expose ses travaux le jeudi 22 mai à 13h30 en salle 301

Church defined lambda calculus computations as symbolic transformation processes which are expected to halt. In sharp contrast, Turing's landmark 1936 paper introducing his machines and associated notion of computation did not pay attention to any halting notion. Furthermore, halting was implicitly considered as an *unsatisfactory* behavior. Thus, although it is part of the current standard description of computation with Turing Machines, halting is not intrinsic to computation. Interestingly, this dichotomy is alive in existing functional languages today. For instance, termination (or halting) is part of the computational description of eager functional languages like ML or Scheme. However, the developers of lazy functional languages like Haskell are often proud of allowing for the use of infinite data structures produced by means of non-terminating reduction processes. The presentation will provide a brief historical overview of these issues, hopefully leading to a further clarification and answer to "Should computations halt?".

Le recalage de nuages de nuages de points sans features, sans ICP … et sans Deep Learning.

David — Mon, 24 Mar 2025 09:11:37 +0000

Le recalage de nuages de nuages de points sans features, sans ICP … et sans Deep Learning. David lun 24/03/2025 - 10:11

Séminaire de Laboratoire

03 avr 2025

El Mustapha Mouaddib donnera un séminaire le jeudi 3 avril à 10h dans la salle 301.

Résumé : Le recalage de deux nuages de points (représentations numériques 3D pouvant se chiffrer en milliards) consiste à estimer la transformation géométrique qui aligne automatiquement ces nuages de points.

Le recalage est nécessaire dans de nombreuses applications dans le domaine de la robotique, du médical, du patrimoine, …

Formellement, il s’agit de minimiser les écarts entre les points des deux nuages dans un schéma itératif d'optimisation. La difficulté de la tâche dépend de plusieurs paramètres, dont les différences entre les points de vue de l'acquisition, l’absence de correspondances entre les points, le recouvrement partiel des nuages de points, les données aberrantes et des erreurs de mesure.

Le paradigme dominant pour résoudre ce problème depuis environ trois décennies et qui est l’ICP (Iterative Closest Point) ainsi que l’explosion des travaux basées deep learning, invisibilisent d’autres approches pourtant originales et offrant un cadre théorique unificateur.

Les travaux qui seront exposés lors de ce séminaire, s’inscrivent dans cette dernière lignée. Ils proposent une autre interprétation du recalage et améliorent la complexité algorithmique. L’approche a fait l’objet d’une implémentation et a été validée sur des données réelles.

Low Memory Attacks on Small Key CSIDH

David — Wed, 20 Mar 2024 09:55:26 +0000

Low Memory Attacks on Small Key CSIDH David mer 20/03/2024 - 10:55

Séminaire de Laboratoire

25 mar 2024

Sabrina Kunzweiler présentera ses travaux concernant la cryptographie post-quantique le lundi 25/03 à 14h en salle 301. La présentation se fera en anglais.

Abstract
Commutative Supersingular Isogeny Diffie-Hellman (CSIDH) is a relatively new candidate in the field of post-quantum cryptography. This talk will provide an introduction to the original scheme, and a small key version proposed for high security parameters. In this setting, we will see that representation techniques (known from code and lattice based cryptography) need to be considered in the cryptanalysis.
The talk is based on a joint work Jesús-Javier Chi-Domínguez, Andre Esser and Alexander May.

Reconnaissance d'actions humaines par vision pour la robotique d'assistance à l'autonomie à domicile

David — Wed, 20 Mar 2024 09:53:59 +0000

Reconnaissance d'actions humaines par vision pour la robotique d'assistance à l'autonomie à domicile David mer 20/03/2024 - 10:53

Séminaire de Laboratoire

27 mar 2024

Catherine Huyghe viendra présenterons travaux sur la vision robotique le mercredi 27/03 à 14h en salle 301. La présentation se fera en français.

Résumé
Au cours des dernières années, les progrès dans le domaine de la robotique ont facilité l'intégration de robots dans le cadre de l'assistance à domicile, soutenant ainsi les personnes âgées, malades ou handicapées vers une plus grande autonomie. Ces robots sont capables d'effectuer des tâches quotidiennes et d'alerter les aidants ou les familles en cas de situations anormales telles que des chutes.
Ce projet se place dans le champ de la vision par ordinateur et, plus spécifiquement, dans la reconnaissance des actions humaines.

L'objectif est de développer un système capable d'identifier les situations normales et anormales pour une application au sein d'un robot d'aide au maintien à domicile. Pour y parvenir, il est crucial de prendre en compte les mouvements et les immobilités des personnes ainsi que les déplacements de la caméra liés au déplacement du robot. Notre approche consiste à déterminer le meilleur couple entre une ou plusieurs modalités d'entrée et une architecture de classification permettant de reconnaître les situations normales et anormales dans le contexte de la robotique d'assistance au maintien à domicile.
Dans cette étude, nous proposons une approche pour la reconnaissance des actions humaines basée sur la segmentation sémantique des parties du corps humain, afin de se concentrer sur le corps humain et de traiter les mouvements partiels ou lents ainsi que l’immobilité tout en prenant en compte les mouvements du robot.

Dans le cadre de la validation de notre approche, de nombreux ensembles de données destinés à la reconnaissance des actions humaines sont disponibles et couvrent un large éventail d’activités générales ou quotidiennes, mais ils couvrent moins le cas des situations anormales. Lorsque des actions spécifiques sont disponibles, elles ne sont souvent pas adaptées au contexte de la robotique d'assistance. Pour valider notre approche, nous proposons également un nouveau jeu de données qui couvre certaines situations spécifiques utiles dans le contexte de l’assistance au maintien à domicile.

Composabilité et partitionnement des données dans le calcul haute performance

David — Wed, 20 Mar 2024 09:51:11 +0000

Composabilité et partitionnement des données dans le calcul haute performance David mer 20/03/2024 - 10:51

Séminaire de Laboratoire

21 mar 2024

Jerry Lacmou Zeutouo, post-doctorant à l’INRIA de Lyon, présentera ses travaux jeudi 21 mars à 10h30 en salle 301

Résumé
Les problèmes d'optimisation et la simulation numérique sont cruciaux dans de nombreux domaines grâce à l'émergence du calcul haute performance (HPC). Le calcul parallèle permet d'accélérer ces processus en répartissant les tâches entre plusieurs unités de traitement. Toutefois, malgré la puissance croissante des machines, les modèles de programmation sont confrontés à plusieurs défis pour exploiter facilement et efficacement les ressources informatiques disponibles. L'un de ces défis majeurs consiste à faciliter la composabilité du code dans le calcul parallèle pour simplifier la vie des utilisateurs non-experts en HPC et pour améliorer la séparation des préoccupations et la réutilisation du code. Des travaux antérieurs tels que CCA, L2C et Comet ont montré qu'il était possible d'obtenir des résultats satisfaisants sur des patterns d'applications spécifiques. Dans cette présentation, je me pencherai sur ce domaine de recherche, en discutant des différents défis rencontrés et des travaux que j'ai entrepris pour étendre les modèles de composants actuels. Ces extensions visent à prendre en charge les patterns d'applications irréguliers et dynamiques extraits d'exemples motivants, tels qu'Aevol. Enfin, je décrirai les perspectives d'avenir dans ce domaine.

Défis et Solutions en Cybersécurité : IoT, Réseaux Véhiculaires et sécurité des codes mobiles

David — Wed, 20 Mar 2024 09:47:17 +0000

Défis et Solutions en Cybersécurité : IoT, Réseaux Véhiculaires et sécurité des codes mobiles David mer 20/03/2024 - 10:47

Séminaire de Laboratoire

28 mar 2024

Sofiane AISSANI présentera le jeudi 28 mars à 14h trois problématiques fondamentales en matière de cybersécurité : la sécurité et la gestion des clés dans l'Internet des Objets (IoT), la gestion de la confiance dans les réseaux véhiculaires, ainsi que la sécurité des codes mobiles.

Face aux défis posés par les contraintes de capacité, notamment en termes d'énergie, nous adopterons une stratégie axée sur la dissimulation d'informations relatives à la sécurité. Cette approche vise à réduire le volume global de messages échangés, contribuant ainsi à prolonger la durée de vie des réseaux. Nous examinerons en particulier l'utilisation de certains champs des paquets de protocoles de communication, comme ZigBee, pour transmettre des éléments cruciaux liés à la sécurité, tels que des clés de chiffrement.
Concernant les réseaux véhiculaires, nous proposerons une méthode fondée sur la classification des messages et des véhicules en plusieurs catégories. Cette méthode repose sur les concepts de controverse et de réputation pour évaluer le degré de confiance des messages, garantissant ainsi une communication fiable entre les véhicules. Ensuite, nous explorerons la problématique de l'exécution de code au sein d'entités distantes, chacune appliquant ses propres politiques de sécurité.

Pour modéliser le code mobile, nous recourrons à l'algèbre de processus CBPAE, ce qui facilitera la formalisation des interactions et permettra une représentation précise des programmes. Nous définirons une logique spécifique pour modéliser les politiques de sécurité, puis nous adapterons le concept de plus grand facteur commun pour déterminer le programme le plus complet qui, tout en restant fidèle au programme original, se conforme à la politique de sécurité.

Computing short elements of ideal lattices in practice

David — Sun, 03 Dec 2023 18:20:35 +0000

Computing short elements of ideal lattices in practice David dim 03/12/2023 - 19:20

Séminaire de Laboratoire

10 jan 2024

Andrea Lesavourey (andlesav.github.io), post-doctorant au LABRI, Bordeaux donne un séminaire le mercredi 10 janvier 2024 à 14h en salle 301.

Andrea is currently working on lattice-based cryptography with a focus on algebraic lattices and their underlying number theoretical structure. More generally, he is interested by computer algebra, algebraic number theory and their applications to cryptography.

Séminaire MIS - M. Moncef GAROUANI (LISIC/ULCO) - jeudi 22 juin 2023, 14h au MIS.

corinne.lucet — Thu, 15 Jun 2023 08:01:13 +0000

Séminaire MIS - M. Moncef GAROUANI (LISIC/ULCO) - jeudi 22 juin 2023, 14h au MIS. corinne.lucet jeu 15/06/2023 - 10:01

Séminaire de Laboratoire

22 juin 2023

Big industrial data mining through explainable automated machine learning

Machine learning (ML) has penetrated all aspects of modern life, and brought more convenience and satisfaction for variables of interest. However, building such solutions is a time consuming and challenging process that requires highly technical expertise. This certainly engages many more people, not necessarily experts, to perform analytics tasks. While the selection and the parametrization of ML models require tedious episodes of trial and error. Additionally, domain experts often lack the expertise to apply advanced analytics. Consequently, it necessitates frequent consultations with data scientists; nevertheless, such collaborations tend to cost the delays, which can lead to risks such as human-resource bottlenecks. As the complexity of these tasks increases, so does the demand for support solutions. In response, the field of automated ML (AutoML) is a data mining-based formalism that aims to reduce human effort and speedup the development cycle through automation. It can be applied to create pipelines of traditional ML models and ensembles, or to search for neural network architectures (NAS). In this regard, existing approaches include Bayesian optimization, evolutionary algorithms as well as reinforcement learning. These approaches have focused on providing user assistance by automating parts or the entire data analysis process, but without being concerned about its impact on the analysis. The goal has generally been focused on the performance factors, thus leaving aside other important and even crucial aspects such as computational complexity , confidence and transparency. In the talk I will present an overview of the main components of AutoML, the search spaces representing ML models, the search strategies, and the Explainability of automated AI.

Expérience d'attaque embarquée dans l’automobile : Accès physique et à distance aux réseaux embarqués

David — Thu, 25 May 2023 12:51:18 +0000

Expérience d'attaque embarquée dans l’automobile : Accès physique et à distance aux réseaux embarqués David jeu 25/05/2023 - 14:51

Séminaire de Laboratoire

25 mai 2023

M. Soufyan ZERWALI (Université Mohamed Premier à Oujda, Maroc) donnera un séminaire le jeudi 25 mai à 14h en salle 301 du laboratoire MIS.

Les systèmes Embarqués fond parties intégrante de l'architecture des réseaux automobiles. Ils reposent sur l'interconnexion de plusieurs microcontrôleurs appelés Electronic Control Unit (ECU) par différents bus notamment le Controller Area Network (CAN). Ces calculateurs sont actuellement connectés au monde extérieur comme le montrent les systèmes de communication mobile, de navigation embarquée ou de divertissement. En outre, ils sont à la base des systèmes avancés d'aide à la conduite (ADAS) qui représentent une charge de stress réduite pour le conducteur ou un système de sécurité d'information active.
A ce stade, les communications internes et externes transitent par le même support matériel et sont isolées par des règles définies par le logiciel. Cela représente des limites de sécurité importantes qui peuvent ouvrir la porte aux pirates pour pénétrer dans les composants internes des véhicules.
Dans ce séminaire, je vous exposerai les différents types d'attaques sur le bus CAN (attaques physiques et sans fil). Ces attaques montrent comment un véhicule équipé d'ADAS donne aux attaquants la possibilité de prendre le contrôle de ses modules critiques.

Le but est de développer par la suite des solutions de détection d’intrusion pour protéger les voitures contre les attaques illégales.