The Workshop on Proofs and Proof Techniques for Cryptographic Security (ProTeCS) is inviting the submission of presentations around the topic of cryptographic proofs. The aim of the workshop is to celebrate cryprographic proof techniques in their variety, with the hope of fostering more understanding of the pros and cons, and compatibilities and incompatibilities of various approaches to proofs.

We invite the submission of short presentations that cover topics including, but not limited to:

  • insights on proof techniques obtained from their application,
  • insights on and techniques for the formal connection of definitions and proofs in different formalisms,
  • proof pearls, where the result takes a backseat to a particularly elegant or insightful proof,
  • new approaches to proofs,
  • current and upcoming challenges in cryptographic security proofs.

Presentations can cover existing publications, report on work in progress or be about any other topic that is deemed of interest to the intended audience. The presentation length will be about 20-30 mins. Selection is based on (in decreasing order of importance): Perceived interest to the community of interest, a focus on building bridges rather than walls, the expected quality of the talk itself.

Important Dates

Submission deadline 27 February 2024, AoE
Notification of acceptance 15 March 2024
Workshop 25 May 2024

Submission Format

Submitted abstracts should describe the proposed presentation and its content. All submissions must be in pdf format and include a title and author name(s). The expected speaker(s) should be clearly identified. Submissions should be written in English and must not exceed 3 pages (excluding references).

Submission Server

Programme Committee