Nadim Kobeissi

Founder & CEO en Blogchain / Capsule Social

Nadim Kobeissi es el Fundador y CEO de Capsule, Director en Symbolic Software, Autor de Verifpal y Anfitrión de Cryptography FM. Como Director de Symbolic Software, una oficina de consultoría de criptografía aplicada con sede en París, gestiono un pequeño equipo que ofrece auditorías de seguridad, diseño de protocolos criptográficos y servicios de verificación formal. Mi enfoque principal es auditar criptografía y desarrollar Verifpal, un marco automatizado de modelado, análisis y verificación de protocolos criptográficos. Desde su fundación en , Symbolic Software ha completado y entregado más de auditorías de software y criptografía para clientes en todo el mundo. En , defendí mi tesis de doctorado, Verificación Formal para Protocolos e Implementaciones Criptográficas del Mundo Real, en Inria Paris. Además, diseñé e impartí el curso de seguridad informática en el campus de París de la Universidad de Nueva York, donde fui profesor adjunto en y .