ddealmei / SCP10-attack

Implementation of SCP10 (semi-compliant), with PoCs demonstrating vulnerabilities and a secure implementation

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

SCP10-attack

None of the implementations in this repository shall be used in production.

These tools are part of the SCP10 paper titled "The Long and Winding Path to Secure Implementation of GlobalPlatform SCP10" by Daniel De Almeida Braga, Pierre-Alain Fouque and Mohamed Sabt.

They gather different elements:

  • SCP10Applet/ contains a (semi-)compliant implementation of SCP10, to be deployed as an applet on a smart card. The implementation can be used to test the vulnerabilities described in our article.
  • SCP10Applet_mitigated/ is based on the same implementation, but includes the mitigations we suggested to prevent the attacks. It can be deployed on a smart card as an applet in order to evaluate the overhead of the mitigations.
  • PoC/ contains python and sage code allowing to perform the attacks. Namely, it emulate an Off-Card Entity and manage APDU requests and responsse, following SCP10 workflow.
  • Client_mitigated/ contains python code to emulate an Off-card Entity communicating with the mitigated applet. Since the protocol workflow change a little, we had to implement a new client.

Since SCP10 is a smart card protcol, both applets need a smart cards to be deployed, and you need a card reader to use the PoC.

More details about each components are available on their respective directory.

About

Implementation of SCP10 (semi-compliant), with PoCs demonstrating vulnerabilities and a secure implementation

License:GNU General Public License v3.0


Languages

Language:Java 48.3%Language:Python 24.4%Language:HTML 13.0%Language:Batchfile 9.6%Language:CSS 2.4%Language:Sage 2.1%Language:Shell 0.2%