Expertise

Recherche en sécurité

Sécurité Web et applicative, smart contracts, ZK et cryptographie appliquée, ainsi que chaînes d’attaque sur les IA agentiques.

Périmètre

Capacités appliquées

Applications Web, API, contrôle d’accès, logique métier et intégrations
Contrats Solidity et Vyper avec preuves d’exploitation exécutables
Circuits, vérificateurs, systèmes de preuve et vérification formelle
Injection indirecte de prompts, usage abusif d’outils et évaluation adversariale
Rapports séparant les preuves publiques des détails privés des programmes

En pratique

Projets et contributions

Dépôts publics de revues reproductibles et CI
Profil Gray Swan Arena pour la recherche sur l’injection indirecte de prompts
Association HackerOne avec le Secrétariat du Conseil du Trésor du Canada
Associations Cantina avec Reserve Protocol et Revert Finance
Associations Code4rena avec Chainlink Payment Abstraction V2 et K2

Profils publics

Associations attribuables.

Les plateformes sont présentées sans nombre de constats, gravité ni détail technique non public.

Gray Swan ArenaGilMuRecherche sur l’injection indirecte de prompts et évaluation adversariale de l’IA HackerOne@gilmuSecrétariat du Conseil du Trésor du Canada Cantina@GilMuReserve Protocol et Revert Finance Code4rena@GiMu84Chainlink Payment Abstraction V2 et K2