Ledger Donjon lee parte del segundo elemento seguro del Coldcard Mk4 mediante un doble fallo por láser

En septiembre de 2023 los investigadores de Ledger Donjon Karim M. Abdellatif y Olivier Hériveaux publicaron un ataque por inyección de fallos por láser al Analog Devices DeepCover DS28C36, que el Coldcard Mk4 usa como segundo elemento seguro (SE2). Coinkite se refirió a la presentación en una entrada del 7 de septiembre de 2023; el artículo apareció en el archivo ePrint de la IACR el 15 de septiembre de 2023 y en FDTC 2023.

Según el artículo, el chip resiste fallos únicos, pero los investigadores usaron un análisis de fugas con la prueba t de Welch para encontrar dos momentos en los que los pulsos láser extraen las páginas de usuario protegidas de la EEPROM, con una tasa de éxito del 99 %; afirman que el ataque puede reproducirse en un día y que afecta a los usuarios del DS28C36, incluido el Coldcard Mk4. Coinkite dice que el trabajo requirió desoldar y decapsular el chip y que dio acceso a aproximadamente la mitad de las ranuras de memoria del SE2.

Coinkite afirma que no se extrajo ninguna semilla: el Mk4 guarda la semilla maestra en su primer elemento seguro, cifrada con una clave que exige comprometer el SE1, el SE2 y el microcontrolador principal, y el SE2 solo contiene parte de una clave AES-256 además de los datos del trick PIN y de la billetera de coacción. Califica el resultado de validación de su diseño con varios fabricantes y dice que Ledger y el fabricante del chip coordinaron con ella la divulgación durante varios meses. Su historial de divulgaciones indica como estado una exposición parcial de material, sin que se haya demostrado una recuperación completa de la semilla y sin corrección indicada.