Nadim Kobeissi

Founder & CEO em Blogchain / Capsule Social

Nadim Kobeissi é Fundador e CEO da Capsule, Diretor da Symbolic Software, Autor do Verifpal e Apresentador do Cryptography FM. Como Diretor da Symbolic Software, um escritório de consultoria em criptografia aplicada sediado em Paris, gerencio uma pequena equipe que oferece auditorias de segurança, design de protocolos criptográficos e serviços de verificação formal. Meu foco principal é auditar criptografia e desenvolver o Verifpal, uma estrutura automatizada de modelagem, análise e verificação de protocolos criptográficos. Desde sua fundação em , a Symbolic Software concluiu e entregou mais de auditorias de software e criptografia para clientes em todo o mundo. Em , defendi minha tese de Ph.D., Verificação Formal para Protocolos e Implementações Criptográficas do Mundo Real, na Inria Paris. Além disso, projetei e ministrei o curso de segurança de computadores no campus de Paris da New York University, onde atuei como professor adjunto em e .