Un ricercatore dell'Università Cattolica di Lovanio ha dimostrato alla conferenza Black Hat una tecnica per compromettere il terminale utente Starlink, utilizzato per connettere gli utenti alla rete satellitare SpaceX. Il terminale è dotato di un proprio SoC a 64 bit, progettato da STMicro specificamente per SpaceX. L'ambiente di programmazione si basa su Linux.
Il metodo proposto consente di eseguire il proprio codice sul terminale Starlink, ottenere accesso root e accedere a una rete interna non accessibile agli utenti tramite porte comuni, utilizzata dai terminali, ad esempio, per aggiornare i firmware. Le risultanze pubblicate possono anche essere applicate a esperimenti avanzati nel campo dei sistemi radio definiti da software (SDR), a causa della specifica struttura del terminale Starlink (un array di antenne a fasoe controllate in modo programmato).
L'hacking del terminale Starlink è interessante dal punto di vista di un attacco a un sistema Linux ben protetto con un’ottima implementazione della modalità di avvio sicuro (Secure Boot). Poiché la compromissione software non è stata possibile, l'attacco è stato condotto a livello hardware utilizzando attrezzature di laboratorio specializzate. Alla fine, l'attrezzatura necessaria per l'hacking è stata ridotta a una scheda modchip pronta, che utilizza un comune microcontrollore Raspberry Pi RP2040 (Cortex M0 dual-core).
La scheda modchip preparata si collega a tracce specifiche della scheda madre del terminale Starlink e provoca un malfunzionamento alterando la tensione in determinate parti del circuito elettrico («voltage fault»). Il richiamo dell'errore al momento del controllo della firma digitale nel ROM bootloader (BL1) consente di eseguire codice arbitrario sul SoC, nonostante l'assenza di una firma digitale valida per quel codice.
Schema della scheda per l'hacking dei terminali Starlink è stato pubblicato su GitHub nel formato KiCad. È stato anche pubblicato il codice del firmware utilizzato per l'attacco. Il costo di produzione della scheda è stimato intorno ai 25 dollari.
Fonte: opennet.ru
