7 posts in category “Announcement”.
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 readFifty 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. What the course covers, and who is joining us this June.
4 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 readWe're looking for a research intern to join us this summer and contribute to new papers on real-world cryptographic constructions.
3 min readAnnouncing Cedarcrypt, a new applied cryptography summer school and conference.
2 min readSymbolic Software continues its support for the IACR Real World Cryptography Symposium.
1 min readAn address to France's law enforcement officials on Internet surveillance policy in France.
11 min read