Course.

4 posts tagged “Course”.

2026.07.29 · Announcement

Meet the Symbolic Software Summer 2026 Team

Five people joined us this summer: two research interns formalizing zkVM soundness bounds in Lean, and three teaching assistants running the Applied Cryptography course. Here they are, in their own words.

4 min read
2026.07.22 · Essay

Why I Teach Cryptography in Lebanon

Cedarcrypt's first edition has concluded. On what a year of teaching cryptography in and for Lebanon has meant, why the conference met in Cyprus rather than Beirut, and the decades of work ahead.

12 min read
2026.05.12 · Announcement

Applied Cryptography Course: Welcome, Class of Summer 2026!

Fifty students from nine institutions have been selected for the Summer 2026 Applied Cryptography online program, our free intensive course bringing modern cryptography to Lebanese university students. Here's a quick look at what the course covers, and at the wonderful group joining us this June.

4 min read