title

Nadim Kobeissi

charset

utf-8

viewport

width=device-width, initial-scale=1, height=device-height

description

Nadim Kobeissi's homepage. Computer scientist and software developer specializing in applied cryptography and software security. Senior Applied Cryptography Auditor at Cure53, founder of Symbolic Software.

keywords

Nadim Kobeissi, applied cryptography, computer science, software security, cryptographic protocols, formal verification, Verifpal, Noise Explorer, Cure53, Symbolic Software, puzzle games, cryptography auditing, Paris, France

og:type

website

og:url

https://nadim.computer

og:title

Nadim Kobeissi

og:description

Nadim Kobeissi's homepage. Computer scientist and software developer specializing in applied cryptography and software security. Senior Applied Cryptography Auditor at Cure53, founder of Symbolic Software.

og:image

https://nadim.computer/res/img/og.png

canonical

https://nadim.computer

icon

https://nadim.computer/res/img/nadim.png

preconnect

https://fonts.googleapis.com

preconnect

https://fonts.gstatic.com

stylesheet

https://fonts.googleapis.com/css2?family=Faculty+Glyphic&family=PT+Sans:ital,wght@0,400;0,700;1,400;1,700&display=swap