top of page
lsi-members.jpg

Bienvenue sur le site web du Laboratoire de Sécurité Informatique (LSI)

Bienvenue sur le site Web de la Chaire de recherche en partenariat sur l’optimisation du cycle de vie des barrages en remblai - CRIBAR

Laboratoire de Sécurité Informatique (LSI)

Bienvenue sur le site de notre laboratoire, le Laboratoire de Sécurité Informatique (LSI), affilié au Département d'Informatique et de Génie Logiciel de l'Université Laval. Notre équipe s'investit activement tant dans la recherche que dans l'enseignement.

Le LSI est constamment à la recherche de talents étudiants de tous niveaux et apprécie la visite de nouveaux venus.

Domaine de recherche

Les principales activités de recherche de LSI sont liées au génie logiciel, à la sécurité des réseaux et aux méthodes formelles. Voici quelques-unes de ses activités actuelles

Sécurité informatique

  • Sécurité de l'Internet des Objets

  • Blockchain

  • Sécurité d'Android

  • Sécurité du Cloud

  • Sécurité des applications et des serveurs web

  • Détection de code malicieux

  • Détection d’intrusions

  • Piratage informatique

  • Renforcement automatique de la sécurité

  • Certification de logiciels

  • Analyse de risques

  • Spécification et analyse de protocoles cryptographiques et de commerce électronique

Génie logiciel

  • Méthodes formelles de spécification et de vérification

  • Analyse statique et dynamique de programmes

  • Langages multi-paradigmes

  • Programmation orientée aspects (POA)

bottom of page