This inaugural workshop will focus on addressing critical challenges of transitioning security protocols to post-quantum cryptography (PQC). As conventional cryptographic algorithms increasingly face threats from quantum computing, the need to migrate to PQC presents both significant technical and practical obstacles. This workshop will serve as a platform for researchers and practitioners to address these challenges, focusing on the implementation, analysis, and deployment of post-quantum secure protocols.

SPIQE aims to foster collaboration between academia and industry, bringing together experts in cryptography, software engineering, protocol design, and cybersecurity. Topics covered include formal verification of cryptographic code, post-quantum migration strategies, hybrid protocol implementations, and automated techniques for identifying vulnerabilities.

To encourage broad participation and a diverse range of contributions, the workshop will solicit both full papers and talks. This hybrid approach is designed to attract high-quality submissions from researchers focused on in-depth studies, as well as industry professionals and practitioners who can share insights and case studies from real-world implementations. The selection process will prioritize quality and potential impact of submissions.

SPIQE will be co-located with the 23rd International Conference on Applied Cryptography and Network Security in Munich, Germany (23rd-26th June 2025)