Bienvenue sur ma page personnelle.

Je fais des travaux de recherche en cryptographie appliquée plus spécifiquement et en sécurité informatique plus généralement. J'ai soutenu ma thèse de doctorat, Vérification Formelle des Protocoles et des Implementations Cryptographiques, le 10 décembre 2018 à INRIA Paris, après 3½ ans de recherche avec l'équipe PROSECCO. Mon dossier de publications scientifiques est disponible sur Google Scholar et dans mon Curriculum Vitae.

Mon bureau de consultation, Symbolic Software, est spécialisé dans l'analyse moderne des systèmes cryptographiques. En tant que son directeur, je dirige une petite équipe qui offre des services d'audits de sécurité, de conception de protocoles cryptographiques et de vérification formelle.

Je travaille sur quelques projets logiciels. Verifpal, un moteur d'analyse automatisé et un langage de modélisation pour les protocoles cryptographiques destinés aux étudiants et aux ingénieurs, est mon projet logiciel principal. J'ai également travaillé sur Noise Explorer, un moteur de conception, de raisonnement, de vérification formelle et de mise en œuvre automatique de protocoles de canaux sécurisés conçus dans le Noise Protocol Framework. J'ai aussi écrit DiskGem, un client de transfert de fichiers sécurisé, et Resilience, un bloqueur d'annonces.

En plus de ce qui précède, j'écris parfois des articles sur des questions relatives à la sécurité et à la vie privée. J'ai conçu et enseigné le cours de sécurité informatique à NYU Paris en 2018 et 2019. J'aime aussi la photographie, l'art, et le prog rock.