Freedom, dignity, and justice for Palestinians.

Symbolic Software

Applied Cryptography Projects Submission

From provable security to real-world projects.

Summer 2026 · Nadim Kobeissi · CC BY-NC-SA 4.0

Overview

Course Overview

Applied Cryptography explores the core theory of modern cryptography and how to apply these fundamental principles to build and analyze real-world secure systems.

The course website is at appliedcryptography.page.

Submissions Overview

This page contains submissions from the student attending this course in Summer 2026.

Submissions

Randomness & Time-lock Encryption

Raphael Tannous

Raphael Tannous

Raphael is a cybersecurity student at the Lebanese American University.

Website: https://riyt.dev

Codeberg: https://codeberg.org/raphaeltannous

Randomness is an important part of modern cryptography and everyday life…

Article: TBA.

Demo: TBA.

Source Code: TBA.

Thanks To

The Best Instructor in the World

Dr. Nadim Kobeissi

Dr. Nadim Kobeissi

Nadim Kobeissi is the founder of the Paris-based Symbolic Software, an independent applied cryptography lab with 300+ engagements for clients including Coinbase, Mozilla, and the Ethereum Foundation. He created the protocol modeling and verification engine Verifpal, teaches an Applied Cryptography course first offered at the American University of Beirut, and chairs Cedarcrypt, the Levant’s applied cryptography summer school and conference. He earned his Ph.D. at Inria Paris on formal verification of real-world cryptographic protocols, where he worked on some of the first formal verification efforts for smart contracts, Signal, TLS, and the Noise Protocol Framework. Nadim is also an active advocate for digital privacy rights and is recognized as a leading expert on end-to-end encrypted secure messaging.

If you are an honest seeker of an education in cryptography, especially from underprivileged circumstances in the Levant region, then take my hand, because I am your eternal ally, and we shall succeed in your quest for knowledge together!

The Best Teaching Assistants in the World

Faysal Elestwani

Faysal Elestwani

Faysal is a graduate student at the American University of Beirut, where he previously took the Applied Cryptography course.
Abd El Kader Kahil

Abd El Kader Kahil

Abd El Kader is a graduate student at the American University of Beirut, where he previously took the Applied Cryptography course.
Rabab Salim

Rabab Salim

Rabab is a graduate student at the American University of Beirut, where she previously took the Applied Cryptography course.