[TYPES/announce] [STD] P3S3 - Privacy, Protocols and Proofs Saclay Summer School

Fri Feb 27 11:36:17 EST 2026



                                 P3S3

          Privacy, Protocols and Proofs Saclay Summer School

 P3S3 is an international thematic Summer School to be held fromJune 1
  to June 5, 2026, co-organized by Université Paris-Saclay (Graduate
 School ISN)and Institut Polytechnique de Paris at theInstitut Pascal.
Data protection, security, and privacy are central challenges in modern
  information technologies, spanning both theoretical foundations and
practical applications. The main objective of P3S3is 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. In addition, by bringing together researchers
from different communities, the school seeks to foster new interactions
                    and strengthen collaborations.
https://urldefense.com/v3/__http://www.universite-paris-saclay.fr/f3s3-saclay-summer-school-privacy-protocols-and-proofs__;!!IBzWLUs!UuTh0PAcBDM0noFPxHCspiWqbKQCu6osd5T7TZ8sqj_bAsacwD0-_mVWdMXJMxBffdtZFpp0_o4SpoxvpHCo2vnGjbsuvvL5zxa4m3AB$ 


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20260227/27d1e04b/attachment-0001.htm>