Privacy, Protocols & Proofs Saclay Summer School (P3S3)

P3S3 is an international thematic Summer School to be held from June 1 to June 5, 2026, co-organized by Université Paris-Saclay (Graduate School ISN) and Institut Polytechnique de Paris at the Institut Pascal. Data protection, security, and privacy are central challenges in modern information technologies, spanning both theoretical foundations and practical applications. The main objective of P3S3 is to provide an in-depth introduction to these topics through the presentation of several cryptographic protocols, from their underlying mathematical principles to their concrete real-world deployment. A second objective of the school is to introduce formal methods and tools for analyzing the security of these protocols. To this end, the program is structured around several main thematic areas: cryptographic protocols: zero-knowledge proofs, homomorphic encryption, and electronic voting; formal methods for security analysis: protocols and code analysis; privacy-enhancing technologies (PETS): technical and legal aspects. P3S3 is primarily aimed at PhD students, as well as early-stage researchers, and offers a full week of lectures delivered by leading experts in these fields. By bringing together researchers from different communities, the school seeks to foster new interactions and strengthen collaborations.