Nadim Kobeissi
Nadim Kobeissi est chercheur en cryptographie appliquée. Ses publications sont systématiquement revues par des pairs, qui appliquent une vérification formelle de protocoles cryptographiques. Il possède une décennie d'expérience dans la conception et la mise en œuvre de systèmes sécurisés pour différents scénarios d'utilisation dans les secteurs privé et public. Il est titulaire d'un doctorat en informatique obtenu après trois années de recherche à l'Institut national de la recherche en informatique et automatique (INRIA), accrédité par l'École Normale Supérieure de Paris. Il enseigne actuellement la sécurité informatique à NYU Paris et dirige Symbolic Software, une société de conseil en cryptographie appliquée et de logiciels.