5 posts tagged “Applied Cryptography”.
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 readCedarcrypt'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 readFifty students from nine institutions were admitted to the free Summer 2026 Applied Cryptography online course.
2 min readWe're opening 50 spots for students at Lebanese universities to take the Applied Cryptography course online, completely free of charge, starting June 2026. Applications are open now.
3 min readAnnouncing Cedarcrypt, a new applied cryptography summer school and conference.
2 min read