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 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 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 is sponsoring the IACR Real World Cryptography Symposium for the sixth consecutive year.
1 min readAn address to France's law enforcement officials on Internet surveillance policy in France.
10 min read