10:00
11:00

Présentation de Valerio Schiavoni (Université de Neuchâtel, Suisse) : «Lessons Learned In Building Trustworthy Systems with Trusted Execution Environments»

Les environnements d'exécution de confiance (TEE) gagnent en popularité dans le monde universitaire et dans l'industrie en tant que point d'appui pour la création de systèmes fiables. Construits en tant que composants matériels dédiés dans des processeurs mobiles ou de niveau serveur, et disponibles dans des fournisseurs d'infrastructure en tant que service, les TEE permettent de déployer et d'exécuter des applications ayant des exigences élevées en matière de vie privée et de confidentialité dans des environnements non fiables, protégeant ainsi les données et le code de systèmes compromis ou d'attaquants puissants. Après une brève introduction aux concepts de base des TEE, je passerai en revue certaines de nos plus récentes contributions exploitant les TEE, notamment en tant qu'outils défensifs dans le contexte de l'apprentissage fédéré, en tant que support pour construire des systèmes de cache sécurisés pour les réseaux périphériques, en protégeant de nouveaux environnements d'exécution (par exemple, WebAssembly) dans les enclaves Intel SGX, etc. Pour chacun des systèmes construits, je mettrai en évidence certaines des leçons apprises, en espérant qu'elles seront utiles aux futurs chercheurs et praticiens qui se lanceront dans ce domaine de recherche passionnant.

Valerio Schiavoni a obtenu sa maîtrise et son doctorat en informatique respectivement à l'Université Roma Tre (Italie) et à l'Université de Neuchâtel (Suisse). Depuis 2014, il est le coordinateur scientifique du Centre de compétences pour les systèmes complexes et les big data (CC-CSBD) de l'Université de Neuchâtel. Depuis 2019, il coordonne la CUSO (Conférence Universitaire Suisse Occidentale) pour les programmes d'informatique. Il a cofondé une start-up, et a cofondé le groupe d'utilisateurs ARM HPC (AHUG). Depuis 2018, il est chargé de cours (maître-assistant) à l'Université de Neuchâtel. Il s'intéresse aux systèmes orientés données au sens large.

English
Amphi LaBRI