Haut Laboratoire d’Informatique de Madagascar (HLI)
Laboratoire de recherche de la Haute Ecole d’Informatique de Madagascar (HEI)
Groupe de Travail en Sûreté et Sécurité (GT-SS)
GT-SS possède une expertise en sûreté des systèmes informatiques, c’est-à-dire la correction de leir implémentation par rapport à leur spécification sans présence d’attaquant externe. GT-SS possède également une expertise en sécurité des systèmes, c’est-à-dire en leur robustesse face à des profils d’attaquants bien définis. GT-SS utilise, et développe, divers techniques issues des preuves formelles (interpretation abstraite, calcul des plus faibles pré-conditions) et des tests formels (model checking, test concoliques) pour y parvenir. GT-SS est composé de 2 docteurs, 1 ingénieur et de plusieurs stagiaiers et alternants de Licence et Master.
Groupe de Travail en Intelligence Artificielle (GT-IA)
GT-IA possède une expertise en intelligence artificielle statistique, c’est-à-dire centrée sur les données. GT-IA possède également une expertise en intelligence artificielle symbolique, c’est-à-dire centrée sur les calculs qui manipulent des données. GT-IA utilise, et développe, divers techniques issues de l’apprentissage automatique, des moteurs de règles métiers et de la recherche opérationnelle pour y parvenir. Par ailleurs, GT-IA possède une expertise secondaire en géonumérique étant donné qu’il a appliqué beaucoup des techniques qu’il développe pour traiter des images satellitaires, aériennes ou des nuages de points LiDAR. GT-SS est composé de 2 docteurs, 2 ingénieurs et de plusieurs stagiares et alternants de Licence et Master.
Publications
2022
Tokimahery Ramarozaka, Jean-Pierre Müller, Hasina Lalaina Rakotonirainy: Extending Partial-Order Planning to Account for Norms in Agent Behavior. ESSA 2022: 125-137
2020
Nikolai Kosmatov, Fonenantsoa Maurica, Julien Signoles: Efficient Runtime Assertion Checking for Properties over Mathematical Numbers. RV 2020: 310-322
2019
Maxime Jacquemin, Fonenantsoa Maurica, Nikolai Kosmatov, Julien Signoles, Franck Védrine: Abstract Compilation for Verification of Numerical Accuracy Properties. CoRR abs/1911.10930 (2019)
2018
Fonenantsoa Maurica, David R. Cok, Julien Signoles: Runtime Assertion Checking and Static Verification: Collaborative Partners. ISoLA (2) 2018: 75-91
2017
Jean-Aimé Maxa: Architecture de communication sécurisée d’une flotte de drones. (Secure communication architecture for a UAV swarm). Paul Sabatier University, Toulouse, France, 2017
Jean-Aimé Maxa, Mohamed Slim Ben Mahmoud, Nicolas Larrieu: Survey on UAANET Routing Protocols and Network Security Challenges. Ad Hoc Sens. Wirel. Networks 37(1-4): 231-320 (2017)
Fonenantsoa Maurica: Analyses de terminaison des calculs flottants. (Termination Analysis of Floating-Point Computations). University of La Réunion, Saint-Denis, France, 2017
2016
Emerson Alberto Marconato, Jean-Aimé Maxa, Daniel F. Pigatto, Alex S. R. Pinto, Nicolas Larrieu, Kalinka R. L. J. Castelo Branco: IEEE 802.11n vs. IEEE 802.15.4: A Study on Communication QoS to Provide Safe FANETs. DSN Workshops 2016: 184-191
Fonenantsoa Maurica, Frédéric Mesnard, Étienne Payet: On the Linear Ranking Problem for Simple Floating-Point Loops. SAS 2016: 300-316
Fonenantsoa Maurica, Frédéric Mesnard, Étienne Payet: Termination analysis of floating-point programs using parameterizable rational approximations. SAC 2016: 1674-1679
2015
Jean-Aimé Maxa, Gilles Roudière, Nicolas Larrieu: Emulation-Based Performance Evaluation of Routing Protocols for Uaanets. Nets4Cars/Nets4Trains/Nets4Aircraft 2015: 227-240
Vulnérabilités découvertes
Toutes découvertes par Michael Randrianantenaina.
2025
CVE-2025-6663, CVE-2025-3887. GStreamer H266 Codec Parsing Stack-based Buffer Overflow Remote Code Execution Vulnerability.
CVE-2025-5473. GIMP ICO File Parsing Integer Overflow Remote Code Execution Vulnerability.
CVE-2025-2761. GIMP FLI File Parsing Out-Of-Bounds Write Remote Code Execution Vulnerability.
CVE-2025-2760. GIMP XWD File Parsing Integer Overflow Remote Code Execution Vulnerability.
2024
CVE-2024-8805. BlueZ HID over GATT Profile Improper Access Control Remote Code Execution Vulnerability.
CVE-2024-4453. GStreamer EXIF Metadata Parsing Integer Overflow Remote Code Execution Vulnerability.
CVE-2024-0444, CVE-2023-50186. GStreamer AV1 Video Parsing Stack-based Buffer Overflow Remote Code Execution Vulnerability.
2023
CVE-2023-44446. GStreamer MXF File Parsing Use-After-Free Remote Code Execution Vulnerability.
CVE-2023-44444. GIMP PSP File Parsing Off-By-One Remote Code Execution Vulnerability.
CVE-2023-44443. GIMP PSP File Parsing Integer Overflow Remote Code Execution Vulnerability.
Et 14 autres CVE découvertes en 2023.
