ICTEAM Security, Testing and Verification Lab - UCLouvain

Les activités du groupe de recherche Security, Testing and Verification Lab concernent la cybersécurité, de même que les techniques de vérification formelle et les tests de sûreté des logiciels

Siège social

Place Sainte-Barbe, 2 L5.02.01
1348 Ottignies-Louvain-la-Neuve
BE

Fondateur


Warning: Trying to access array offset on value of type null in /home/clients/e1cba32b1fb8d3b67bd455d96bce3d00/sites/walchain.be/wp-content/plugins/adn.plugin.v1/templates/profiles/show.php on line 61
Université Catholique de Louvain

Numéro d’entreprise

0419052272

En savoir plus sur ICTEAM Security, Testing and Verification Lab - UCLouvain

  • Analyse de malware, analyse de vulnérabilité logicielle et détection de la menace,
  • Techniques de vérification formelle, plus particulièrement le (Statistical) Model Checking appliqué à de nombreux cas d’étude du monde du ferroviaire et de l’aviation,
  • Test par données aléatoires (artificial intelligence fuzzing) pour la vérification de ligne de produits logiciel.

Contacts

1 contact(s) associés à ce profil.