Laboratoire de recherche de la Haute Ecole d’Informatique de Madagascar (HEI)
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.
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.
Tokimahery Ramarozaka, Jean-Pierre Müller, Hasina Lalaina Rakotonirainy: Extending Partial-Order Planning to Account for Norms in Agent Behavior. ESSA 2022: 125-137
Nikolai Kosmatov, Fonenantsoa Maurica, Julien Signoles: Efficient Runtime Assertion Checking for Properties over Mathematical Numbers. RV 2020: 310-322
Maxime Jacquemin, Fonenantsoa Maurica, Nikolai Kosmatov, Julien Signoles, Franck Védrine: Abstract Compilation for Verification of Numerical Accuracy Properties. CoRR abs/1911.10930 (2019)
Fonenantsoa Maurica, David R. Cok, Julien Signoles: Runtime Assertion Checking and Static Verification: Collaborative Partners. ISoLA (2) 2018: 75-91
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
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
Jean-Aimé Maxa, Gilles Roudière, Nicolas Larrieu: Emulation-Based Performance Evaluation of Routing Protocols for Uaanets. Nets4Cars/Nets4Trains/Nets4Aircraft 2015: 227-240
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.
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.
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.
Licence en informatique habilitée par l’État, ouverte aux bacheliers de toutes les séries.
Clôture le {{cloture_complet}} — plus que {{compte}}
