SPIQE

Workshop on Secure Protocol Implementations in the Quantum Era

The SPIQE workshop takes place on Friday, July 10, 2026, as a post-conference workshop at Euro S&P 2026 in Lisbon, Portugal.

View Program

Aerial view of Lisbon, Portugal — **Join us in Lisbon!**
The SPIQE workshop takes place on Friday, July 10, 2026, as a post-conference workshop at the 11th IEEE European Symposium on Security and Privacy (EuroS&P) in Lisbon, Portugal.

Welcome to SPIQE - the Workshop on Secure Protocol Implementations in the Quantum Era.

Security protocols are essential for safeguarding the digital communications and interactions that form the backbone of modern society. These protocols are increasingly under pressure from both classical vulnerabilities, such as implementation flaws, as well as emerging threats, such as posed by quantum computing. The migration to post-quantum cryptographic (PQC) algorithms is a complex process that will affect the design, implementation, and analysis of security protocols in the coming years.

The workshop on Secure Protocol Implementations in the Quantum Era (SPIQE) seeks contributed papers and talks that address the challenges of implementing traditional security protocols and how these can be used to build secure quantum-resistant solutions. As with classical protocols, many security vulnerabilities stem from implementation errors, exacerbated by the increasing complexity of protocol specifications. The introduction of post-quantum algorithms adds further complexity, raising new questions on how to implement and analyze these protocols securely and efficiently.

We invite submissions from both academia and industry that present cutting-edge research on security protocol implementations, particularly those that address the unique challenges of post-quantum migration. How can we ensure that the transition to PQC is both smooth and secure? How can we systematically analyze implementations, statically and dynamically, to mitigate the introduction of flaws during this transition? How can we ensure that specifications are precise, easily understandable, and capable of being correctly implemented, especially when considering the additional complexity introduced by PQC?

📅 The SPIQE workshop takes place on Friday, July 10, 2026, the last day of the Euro S&P conference week in Lisbon.

Program at a Glance

	Invited Talk: Benjamin Dowling (King's College London)
09:30–10:30	Instantiating PQ Protocols: Status, Challenges and Solutions for the PQ Transition
10:30–11:00	Coffee Break
	Contributed Papers and Talks I
11:00–11:30	Layered Performance Analysis of TLS 1.3 Handshakes: Classical, Hybrid, and Pure Post-Quantum Key Exchange David Gómez-Cambronero (Telefónica Innovación Digital), Daniel Munteanu (Keysight), Ana Isabel González (Universidad Carlos III)
11:30–12:00	Finding SSH Strict Key Exchange Violations by State Learning Fabian Bäumer, Marcel Maehren, Marcus Brinkmann, Jörg Schwenk (all Ruhr University Bochum)
12:00–12:30	A Constant-Time Analysis Framework for PQC Algorithms Pablo Gutiérrez Félix (NICS Lab / University of Málaga)
12:30–13:30	Lunch
	Invited Talk: Melissa Azouaoui (NXP Semiconductors)
13:30–14:30	Beyond Post-Quantum Security: Physical Attacks and Countermeasures
	Invited Talk: Charlotte Weitkämper (Bundesamt für Sicherheit in der Informationstechnik (BSI), Germany)
14:30–15:30	Preparing for Q-Day: migration timelines, policies and activities
15:30–16:00	Coffee Break
	Contributed Papers and Talks II
16:00–16:30	Implementation of a post-quantum hybrid group key exchange protocol Tomáš Fabšič, Samuel Klement, Zoltán Raffay, Pavol Zajac (all Slovak University of Technology in Bratislava)
16:30–17:00	Beyond the Quantum Channel — Detecting Invisible Delivery-Pipeline Failures in Commercial QKD Systems Darshit Suratwala (Technische Universität Berlin), Matvey Romanowski (Technische Universität Berlin), Orr Dunkelman (Technische Universität Berlin and University of Haifa), Elham Amini (Technische Universität Berlin), Jean-Pierre Seifert (Technische Universität Berlin)

See full program with abstracts →

Latest Updates

2026-05-13: Workshop program announced! Three invited talks by Benjamin Dowling, Melissa Azouaoui, and Charlotte Weitkämper, plus five contributed papers and talks.
2026-04-17: We accepted 5 submissions (3 papers, 2 talks) out of 8.
2026-04-09: Acceptance notifications delayed by one week, now due April 17, 2026 (AoE).
2026-03-02: Workshop date confirmed: Friday, July 10, 2026 (post-conference workshop)
2026-01-06: Submissions are now open! Deadline: March 12th, 2026 (AoE)
2025-12-01: Website Launched!

Registration

Registration for SPIQE is handled by Euro S&P 2026. A workshop registration includes access to SPIQE on Friday, July 10, 2026.

Organizers

Johannes Blömer (Paderborn University)

Marcus Brinkmann (Ruhr University Bochum)