Quentin Stiévenart : Analyse statique d’applications WebAssembly
Le lien vers l’enregistrement se trouve ici (durée : 59 minutes)
Heure et date : le 1 mars 2023 à 12h30
Lieu : PK-4610 et Zoom
Conférencier : Quentin Stiévenart
Titre : Analyse statique d’applications WebAssembly
Abstract : WebAssembly est une technologie web récente (2019). Durant cette présentation, je détaillerai les caractéristiques de cette technologie avec un intérêt particulier sur les aspects de sécurité. Nous verrons comment le standard WebAssembly a été conçu pour avoir un modèle d’exécution plus sécuritaire que d’autres binaires tels que x86, et quelles restent ses limitations. Dans la dernière partie de la présentation, je reviendrai sur mes travaux de recherche, implémentés dans un outil appelé Wassail (WebAssembly Static Analysis and Inspection Library, https://github.com/acieroid/wassail).
Bio : Quentin Stiévenart est nouveau professeur à l’UQÀM depuis décembre 2022. Il a obtenu son doctorat à la Vrije Universiteit Brussel en Belgique, sur le sujet de l’analyse statique de programmes concurrents. Ses intérêts de recherche touchent à la sémantique des langages de programmation, l’analyse de code (statique et dynamique), les langages fonctionnels et concurrents, ainsi qu’à la technologie WebAssembly.
