• SĂ©curitĂ©
  • UniversitĂ©
  • Standard
  • 2h00

Safety et Undefined Behavior : Lab interactif de sécurité inter-langages

  • Date mercredi
  • Horaire 8h00 Ă  10h00
  • Salle Amphi A

Description

Le code compile, la suite de tests est au vert et la CI a validĂ© le dĂ©ploiement. Pourtant, en production, c'est le crash inexpliquĂ©, la faille silencieuse ou le fameux comportement indĂ©fini (Undefined Behavior). La safety d'une application va bien au-delĂ  de la simple gestion de la mĂ©moire. À travers un format Lab interactif de 2 heures, ce module vous propose de traquer les anomalies de conception Ă  travers une multitude d'Ă©cosystĂšmes : Go, Python, C/C++, Bash, JS, Java, ... N'importe quel tĂ©lĂ©phone ou ordinateur avec une connexion internet suffira. Rassurez-vous : il n'est pas nĂ©cessaire de maĂźtriser la syntaxe de tous ces langages. Un bagage gĂ©nĂ©ral devrait suffire. De plus, une partie des snippets projetĂ©s ne sont pas des cas d'Ă©cole thĂ©oriques, mais de vĂ©ritables bugs issus de la production. Certains mĂȘme reconnaĂźtront le cas d'origine, les autres devront le dĂ©couvrir par l'analyse statique. Le concept : la portion de code incriminĂ©e est projetĂ©e. Votre mission consiste Ă  trouver la faille structurelle (Data races, Typestate invalide, erreurs de concurrence temporelle) puis Ă  cliquer directement sur le segment coupable via l'application web du Lab. L'expĂ©rience s'adapte Ă  votre niveau d'engagement : participez en mode passif/anonyme depuis le fond de la salle en accumulant des points sur l'application, ou installez-vous aux premiers rangs pour un mode interactif oĂč vous pourrez prendre le micro et expliquer techniquement la nature du bug identifiĂ©. Venez affĂ»ter votre Ɠil face aux limites sĂ©mantiques de nos outils quotidiens.

Orateur·ices

Julien Laurenceau

Ingénieur Dev/DevOps chez Thales Services Numériques, développeur Go fraßchement converti à Rust. Je navigue entre le code et l'infrastructure Cloud Native (GCP, CKA, Cilium). En parallÚle, je suis co-auteur de Kubesleeper, un projet open source en Rust permettant le scale-to-zero sur Kubernetes.

Actions rapides

Voir la vidéo

Les sessions futures sur le mĂȘme thĂšme

    • SĂ©curitĂ©
    • ConfĂ©rence

    REX – Construire un poste d’administration conforme SecNumCloud

    SecNumCloud est aujourd’hui la plus haute rĂ©fĂ©rence en matiĂšre de sĂ©curitĂ© pour les services cloud en france, mais ses exigences peuvent sembler complexes, notamment lorsqu’il s’agit des accĂšs d’administration. Dans ce talk, nous partagerons notre retour d’expĂ©rience concret sur la conception et la mise en place d’un poste d’administration sĂ©curisĂ© permettant Ă  nos Ă©quipes d’exploiter et d’administrer la plateforme tout en respectant les exigences SecNumCloud de l’ANSSI. À travers un retour d’expĂ©rience terrain, nous expliquerons nos choix techniques, les contraintes rencontrĂ©es, les erreurs commises et les solutions mises en place. Pas de thĂ©orie abstraite : du pragmatique et du vĂ©cu. Nous aborderons les grands principes (sĂ©paration des usages, durcissement, traçabilitĂ©, contrĂŽle des accĂšs), l’architecture retenue, les compromis rĂ©alisĂ©s et les bĂ©nĂ©fices concrets pour les Ă©quipes. Ce talk ne prĂ©tend pas ĂȘtre une interprĂ©tation officielle du rĂ©fĂ©rentiel : nous ne sommes ni experts ni auditeurs SecNumCloud. Il s’agit d’un retour d’expĂ©rience honnĂȘte et opĂ©rationnel, destinĂ© Ă  dĂ©mystifier SecNumCloud et Ă  montrer qu’il est possible d’allier sĂ©curitĂ© forte et efficacitĂ© opĂ©rationnelle.

    Mercredi 12h30 Ă  13h25 - Amphi D
    • SĂ©curitĂ©
    • ConfĂ©rence

    Agents Smith vs OAuth2 + DPoP : stopper le replay et le vol de bearer tokens

    Vous vivez dans la Matrice : un Bearer Token (access_token) vous donne l’accĂšs Ă  vos applications
 mais si un Agent Smith l’intercepte ? Game over. Il a tous vos accĂšs sans demande de mot de passe, pas de preuve de possession – vous avez donc juste une illusion de contrĂŽle. Suivez le lapin blanc jusqu’à DPoP (Demonstration of Proof-of-Possession, RFC 9449) : vos tokens deviennent insĂ©parables d’une clĂ© privĂ©e. Prouvez que vous ĂȘtes L’élu, ou rien. Restons au pays des merveilles, et descendons avec le lapin blanc au fond du gouffre : * PKCE, la premiĂšre barriĂšre contre l’interception du code d’autorisation * Les failles critiques des bearer tokens * Comment DPoP fonctionne * Les piĂšges d’implĂ©mentation dans le monde rĂ©el oĂč les Agents se cachent encore 
 pour montrer qu’il est temps de sortir de l’illusion que toute la sĂ©curitĂ© est faite avec les bearer tokens. Pour devs, architectes et Ă©quipes sĂ©cu qui veulent arrĂȘter de vivre dans le rĂȘve bleu.

    Jeudi 9h30 Ă  10h25 - Amphi B
    • SĂ©curitĂ©
    • ConfĂ©rence

    Comment bien mettre en place une mauvaise gestion des mots de passe

    On est en 2026 et l'authentification par mot de passe est toujours largement utilisĂ©e. Mais bon, il faut que les utilisateurs arrĂȘtent d'utiliser "toto" ou "azerty"... Alors je vais faire comme d'habitude et imposer un mot de passe de 10 caractĂšres avec 1 majuscule, 1 minuscule, 1 chiffre et 2 caractĂšres spĂ©ciaux comme ça je serai tranquille... Êtes-vous sĂ»r·e de vos pratiques ? Êtes-vous prĂȘt·e Ă  confronter vos intuitions Ă  la rĂ©alitĂ© mathĂ©matique ? Dans cette confĂ©rence, nous allons creuser le sujet d'une "bonne" politique de mots de passe, bien comprendre ce qu'est un mot de passe dit "robuste" ou "complexe" et voir des concepts clĂ©s pour critiquer objectivement la gestion de ceux-ci dans un SI. Nous mĂšnerons une rĂ©flexion progressive et illustrĂ©e afin de bien apprĂ©hender et s'approprier ces concepts. L'objectif est de tordre le cou aux pratiques contre-productives, aux intuitions erronĂ©es et autres fausses bonnes idĂ©es. Cette confĂ©rence s'adresse Ă  toutes personnes crĂ©ant ou utilisant un SI : dĂ©veloppeuses, chef de projet, directrice de SI, architectes, responsables de produit, MOA, utilisateurs...

    Jeudi 12h30 Ă  13h25 - Amphi A