Post-Quantum Secure Channel Protocols for eSIMs: Design, Validation and Performance Analysis

Luk Bettale, Emmanuelle Dottax, Laurent Grémy

2025

Abstract

The transition to Post-Quantum (PQ) cryptography is increasingly mandated by national agencies and organizations, often involving a phase where classical and PQ primitives are combined into hybrid solutions. In this context, existing protocols must be adapted to ensure quantum resistance while maintaining their security goals. These adaptations can significantly impact performance, particularly on embedded devices. In this article, we focus on standardized protocols which support application management on eSIMs across different modes. This is a complex use-case, involving constrained devices with stringent security requirements. We present PQ adaptations, including both hybrid and fully PQ versions, for all modes. Using ProVerif, we provide automated proofs that verify the security of these PQ variants. Additionally, we analyze the performance impact of implementing PQ protocols on devices, measuring runtime and bandwidth consumption. Our findings highlight the resource overhead associated with achieving post-quantum security for eSIM management.

Paper Citation

in Harvard Style

Bettale L., Dottax E. and Grémy L. (2025). Post-Quantum Secure Channel Protocols for eSIMs: Design, Validation and Performance Analysis. In Proceedings of the 22nd International Conference on Security and Cryptography - Volume 1: SECRYPT; ISBN 978-989-758-760-3, SciTePress, pages 108-119. DOI: 10.5220/0013507200003979

in Bibtex Style

@conference{secrypt25,
author={Luk Bettale and Emmanuelle Dottax and Laurent Grémy},
title={Post-Quantum Secure Channel Protocols for eSIMs: Design, Validation and Performance Analysis},
booktitle={Proceedings of the 22nd International Conference on Security and Cryptography - Volume 1: SECRYPT},
year={2025},
pages={108-119},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0013507200003979},
isbn={978-989-758-760-3},
}

in EndNote Style

TY - CONF

JO - Proceedings of the 22nd International Conference on Security and Cryptography - Volume 1: SECRYPT
TI - Post-Quantum Secure Channel Protocols for eSIMs: Design, Validation and Performance Analysis
SN - 978-989-758-760-3
AU - Bettale L.
AU - Dottax E.
AU - Grémy L.
PY - 2025
SP - 108
EP - 119
DO - 10.5220/0013507200003979
PB - SciTePress