Security Reviews

Du code au rapport

J’examine le comportement des contrats, leurs contrôles d’accès et les hypothèses dont dépend leur fonctionnement. Le rapport relie les constats à leur impact et aux corrections proposées.

Couverture du rapport de démonstration StVault, par Gilles Musy — Couverture du rapport public original, en anglais.

StVault : un exemple de revue

StVault est un coffre de prêt Solidity volontairement vulnérable, conçu pour démontrer une démarche de revue. Ce travail ne correspond pas à une mission client.

Ce que j’examine: La validité des données de prix, la gestion des interactions externes et la précision du calcul des frais.
Ce que contient le rapport: Le périmètre étudié, les constats, leur impact, la justification de leur gravité, les références au code et les recommandations de correction.

Présentation

Cette page réunit les revues de code publiées, une étude de cas de red teaming IA menée sur Gray Swan et mes profils de recherche sur HackerOne, Cantina et Code4rena.

Le catalogue GitHub Security Reviews regroupe des recherches reproductibles par classe de vulnérabilité. Chaque revue relie une cible vulnérable, une preuve de concept d’exploitation, une branche corrigée, un rapport et des contrôles automatisés.

Rôle et périmètre

Je reproduis le comportement vulnérable, documente l’impact et les hypothèses, mets en œuvre ou explique la correction et maintiens les preuves exécutables en CI.

Problème et contraintes

Un constat écrit reste difficile à évaluer lorsque l’état vulnérable, le parcours d’exploitation, le comportement corrigé et les hypothèses ne peuvent pas être reproduits.

Architecture

Le catalogue utilise un dépôt public par classe de vulnérabilité. Les rapports, le code source, les tests d’exploitation, les branches corrigées et la CI restent suffisamment proches pour être comparés sans masquer le parcours technique derrière une page de synthèse.

Contexte de sécurité

Les recherches couvrent la sécurité Web et applicative, les contrats Solidity et Vyper, les circuits ZK, la vérification formelle et l’injection indirecte de prompts. Mes profils publics documentent des contributions concernant le Secrétariat du Conseil du Trésor du Canada, Reserve Protocol, Revert Finance, Chainlink Payment Abstraction V2 et K2.

Tests et vérification

Les dépôts publics comprennent des contrôles exécutables de l’exploitation et de la correction avec l’outil adapté à chaque cible, notamment Foundry, Halmos, Circom et GitHub Actions.

Résultats publics

Les exemples publiés couvrent l’inflation de parts, le rejeu de signatures, la dérive de comptabilisation des récompenses, la fraîcheur des oracles, la réentrance, l’arrondi des frais, le contrôle d’accès, les circuits sous-contraints et la vérification arithmétique.

Ressources et liens

Périmètre et état actuel

Les signalements confidentiels ne figurent pas dans ce catalogue.

Injection indirecte : une demande de remboursement, un appel de suppression globale

Profils et contributions