nadim avatar
Active user
2 years ago by invitation from dchest
359, averaging 5.36 per story/comment
22, most commonly tagged cryptography

I currently run Symbolic Software, a Paris-based applied cryptography consulting office. As its director, I manage a small team that offers security audits, cryptographic protocol design and formal verification services. Therefore the main focus of my professional work currently is auditing cryptography and also developing Verifpal, an automated cryptographic protocol modeling, analysis and verification framework and a project that I am very passionate about.

Since its founding in 2018, Symbolic Software has completed and delivered over 200 software and cryptographic audits for clients all around the world.

In 2018, I 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, where I had the inimitable privilege of studying under Karthikeyan Bhargavan and Bruno Blanchet.

In 2018 and 2019, I also designed and taught the computer security course at New York University’s Paris campus, where I served as an adjunct professor.