Nadim Kobeissi

FAQ About Nadim Kobeissi

• What is Nadim Kobeissi's address?

  Nadim Kobeissi is located at
  Symbolic Software, 9 RUE ANATOLE DE LA FORGE, France

• What is Nadim Kobeissi's job title?

  Nadim Kobeissi is a
  I'm a computer scientist and a software developer with a focus on applied cryptography and software security. I'm also a hobbyist puzzle game developer and runner. I'm based in Paris, France. Professionally, I am: - Senior Applied Cryptography Auditor at Cure53, where I've worked on auditing over 150 real-world cryptographic systems. - Director at Symbolic Software, a software publisher and boutique applied cryptography consultancy based in Paris which has participated in over 250 software security audits and has published research software for applied cryptographers. Also publishes small indie video game projects. Previously, I wrote and defended my Ph.D. thesis, Formal Verification for Real-World Cryptographic Protocols and Implementations, at Inria Paris, after 3½ years of research with team PROSECCO. I also designed and taught the computer security course at New York University's Paris campus, where I served as an adjunct professor. Cure53

• What industry does Nadim Kobeissi currently work in?

  Nadim Kobeissi currently works in the
  Cure53

• What is Nadim Kobeissi's area of expertise?

  Nadim Kobeissi specializes in
  I'm a computer scientist and a software developer with a focus on applied cryptography and software security. I'm also a hobbyist puzzle game developer and runner. I'm based in Paris, France. Professionally, I am: - Senior Applied Cryptography Auditor at Cure53, where I've worked on auditing over 150 real-world cryptographic systems. - Director at Symbolic Software, a software publisher and boutique applied cryptography consultancy based in Paris which has participated in over 250 software security audits and has published research software for applied cryptographers. Also publishes small indie video game projects. Previously, I wrote and defended my Ph.D. thesis, Formal Verification for Real-World Cryptographic Protocols and Implementations, at Inria Paris, after 3½ years of research with team PROSECCO. I also designed and taught the computer security course at New York University's Paris campus, where I served as an adjunct professor.

• Which languages does Nadim Kobeissi speak? 

  Nadim Kobeissi speaks the following languages:
  No languages available.

• Which industries has Nadim Kobeissi previously worked in?   

  Nadim Kobeissi has prior experience in the following industries:
  Polygon Labs , Capsule Social , New York University , Cure53 , Microsoft , Inria , Equalit , New America Foundation , Lebanese American University

• What is Nadim Kobeissi’s work experience?  

  Nadim Kobeissi has the following professional experience:
  Cure53 , Polygon Labs , Capsule Social , New York University , Cure53 , Symbolic Software , Microsoft , Inria , Equalit , New America Foundation , Lebanese American University .

• How can I find Nadim Kobeissi on LinkedIn?  

  You can view Nadim Kobeissi’s
  LinkedIn profile at LinkedIn URL.

• What are Nadim Kobeissi’s work email addresses?  

  Nadim Kobeissi’s work email addresses are
  [email protected] .

• What company does Nadim Kobeissi work for?  

  Nadim Kobeissi works at
  Cure53