Nadim Kobeissi

Nadim Kobeissi es fundador de Capsule, director de Symbolic Software, autor de Verifpal, presentador de Cryptography FM. Actualmente dirijo Symbolic Software, una oficina de consultoría en criptografía aplicada con sede en París. Como su director, dirijo un pequeño equipo que ofrece auditorías de seguridad, diseño de protocolos criptográficos y servicios de verificación formal. Por lo tanto, el enfoque principal de mi trabajo profesional actualmente es la auditoría de criptografía y también el desarrollo de Verifpal, un marco automatizado de modelado, análisis y verificación de protocolos criptográficos y un proyecto que me apasiona mucho. Desde su fundación en 2018, Symbolic Software ha completado y entregado más de 200 auditorías criptográficas y de software para clientes de todo el mundo. En 2018, defendí mi tesis doctoral, Verificación formal para protocolos e implementaciones criptográficas del mundo real, en Inria Paris, después de 3 años y medio de investigación con el equipo PROSECCO. En 2018 y 2019, también diseñé y enseñé el curso de seguridad informática en el campus de París de la Universidad de Nueva York, donde me desempeñé como profesor adjunto.