Un ricercatore della Katholieke Universiteit Leuven ha dimostrato alla conferenza Black Hat una tecnica per compromettere il terminale utente Starlink, utilizzato per connettere gli abbonati alla rete satellitare di SpaceX. Il terminale è dotato di un proprio SoC a 64 bit, creato dalla STMicro appositamente per SpaceX. L'ambiente software è basato su Linux.
Il metodo proposto consente di eseguire codice sul terminale Starlink, ottenere l'accesso root e accedere a una rete interna non raggiungibile dall'utente tramite porte comuni, utilizzata dai terminali, ad esempio, per aggiornare il firmware. I risultati pubblicati possono anche essere applicati a esperimenti avanzati nel campo dei sistemi radio definiti dal software (SDR), a causa della particolare struttura del terminale Starlink (array di antenne phased-array controllate tramite software).
L'hacking del terminale Starlink è interessante dal punto di vista di un attacco a un sistema Linux ben protetto con un'implementazione di alta qualità della modalità di avvio sicuro (Secure Boot). Poiché non è stato possibile compromettere il sistema via software, l'accesso è stato effettuato a livello hardware utilizzando apposite attrezzature di laboratorio. Alla fine, l'attrezzatura necessaria per l'hacking è stata ridotta a una scheda di espansione pronta (modchip) che utilizza un comune microcontrollore Raspberry Pi RP2040 (Cortex M0 dual-core).
La scheda modchip preparata si collega a determinati percorsi sulla scheda principale del terminale Starlink e provoca un malfunzionamento modificando la tensione in alcune parti dello schema elettrico («voltage fault»). Innescare un malfunzionamento al momento della verifica della firma digitale nel bootloader ROM (BL1) consente di eseguire codice arbitrario sul SoC, nonostante l'assenza di una firma digitale valida per quel codice.
Lo schema della scheda per l'hacking dei terminali Starlink è stato pubblicato su GitHub in formato KiCad. È stato pubblicato anche il codice del firmware utilizzato per l'attacco. Il costo per la produzione della scheda è stimato intorno ai 25 dollari.
Fonte: opennet.ru
