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. Here's a quick look at what the course covers, and at the wonderful group 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 readWe're thrilled to announce 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