Loading data, please wait a moment. We are fetching the latest content from the server and validating, organizing, and rendering it to ensure the information you see is accurate, complete, and up to date. Loading speed may be affected by your network, device performance, or the current amount of data, so a brief wait is normal. To avoid extra delays caused by duplicate requests, please don't refresh frequently or repeatedly click buttons, and don't close the page or switch to an offline network. The page will update automatically once the data is ready. If it takes noticeably longer, check your network connection and try refreshing or coming back later. If the issue persists, please let us know so we can investigate. Thanks for your patience and understanding.
Nadim Kobeissi est le fondateur et PDG de Capsule, directeur de Symbolic Software, auteur de Verifpal et animateur de Cryptography FM. En tant que directeur de Symbolic Software, un bureau de conseil en cryptographie appliquée basé à Paris, je gère une petite équipe qui offre des audits de sécurité, la conception de protocoles cryptographiques et des services de vérification formelle. Mon principal focus est l'audit de la cryptographie et le développement de Verifpal, un cadre automatisé de modélisation, d'analyse et de vérification des protocoles cryptographiques. Depuis sa fondation en 2018, Symbolic Software a réalisé et livré plus de 200 audits logiciels et cryptographiques pour des clients du monde entier. En 2018, j'ai soutenu ma thèse de doctorat, Formal Verification for Real-World Cryptographic Protocols and Implementations, à Inria Paris. De plus, j'ai conçu et enseigné le cours de sécurité informatique au campus de New York University à Paris, où j'ai été professeur adjoint en 2018 et 2019.