International Association for Cryptologic Research

International Association
for Cryptologic Research

CryptoDB

The Long and Winding Path to Secure Implementation of GlobalPlatform SCP10

Authors:
Daniel De Almeida Braga , Univ Rennes, CNRS, IRISA, Rennes, France
Pierre-Alain Fouque , Univ Rennes, CNRS, IRISA, Rennes, France
Mohamed Sabt , Univ Rennes, CNRS, IRISA, Rennes, France
Download:
DOI: 10.13154/tches.v2020.i3.196-218
URL: https://tches.iacr.org/index.php/TCHES/article/view/8588
Search ePrint
Search Google
Presentation: Slides
Abstract: GlobalPlatform (GP) card specifications are defined for smart cards regarding rigorous security requirements. The increasingly more powerful cards within an open ecosystem of multiple players stipulate that asymmetric-key protocols become necessary. In this paper, we analyze SCP10, which is the Secure Channel Protocol (SCP) that relies on RSA for key exchange and authentication. Our findings are twofold. First, we demonstrate several flaws in the design of SCP10. We discuss the scope of the identified flaws by presenting several attack scenarios in which a malicious attacker can recover all the messages protected by SCP10. We provide a full implementation of these attacks. For instance, an attacker can get the freshly generated session keys in less than three hours. Second, we propose a secure implementation of SCP10 and discuss how it can mitigate the discovered flaws. Finally, we measure the overhead incurred by the implemented countermeasures.
Video from TCHES 2020
BibTeX
@article{tches-2020-30389,
  title={The Long and Winding Path to Secure Implementation of GlobalPlatform SCP10},
  journal={IACR Transactions on Cryptographic Hardware and Embedded Systems},
  publisher={Ruhr-Universität Bochum},
  volume={2020, Issue 3},
  pages={196-218},
  url={https://tches.iacr.org/index.php/TCHES/article/view/8588},
  doi={10.13154/tches.v2020.i3.196-218},
  author={Daniel De Almeida Braga and Pierre-Alain Fouque and Mohamed Sabt},
  year=2020
}