Intro

Dans la continuité logique de l’atelier d’introduction de l’an dernier, cette session adopte un point de vue plus adversarial. Maintenant que vous comprenez comment QubesOS structure ses machines virtuelles et organise leur isolation, une question s’impose: comment l’attaquer ?

Nous commencerons par un rappel synthétique du modèle de menace de QubesOS, afin de clarifier ce que le compartimentage protège… et ce qu’il ne protège pas. Nous explorerons ensuite différents scénarios d’attaque, en distinguant ceux qui sont réalistes et étayés par des vulnérabilités passées, de ceux qui relèvent davantage du fantasme.

Un focus particulier sera consacré aux Xen Security Advisories (XSA) et à leur impact sur QubesOS. Nous analyserons des cas concrets de failles au niveau de l’hyperviseur et discuterons de leur exploitabilité en pratique. Puis, à travers des démonstrations en direct, nous montrerons comment des configurations apparemment anodines, comme des politiques qrexec trop permissives ou un usage imprudent du presse-papiers inter-VM, peuvent suffire à briser l’isolation.

L’atelier alterne entre analyse, modélisation de menace et démonstrations pratiques, avec l’objectif de relier les modèles de sécurité théoriques à leur réalité opérationnelle. Les participant(e)s repartiront avec une meilleure intuition offensive, ainsi que des pratiques concrètes de durcissement.

Objectifs pédagogiques

• Comprendre les limites réelles du modèle de compartimentage de QubesOS
• Identifier les vulnérabilités Xen pertinentes et évaluer leur impact
• Distinguer scénarios d’attaque réalistes et hypothétiques
• Reproduire et diagnostiquer une fuite d’isolation liée à une mauvaise configuration
• Appliquer des bonnes pratiques de hardening (templates minimaux, politiques qrexec strictes)