💻 computer science

Static Detection of Post-Quantum Cryptographic Algorithms in Stripped Binaries for Digital Forensic Examination and Migration Assurance

Questo articolo introduce Kestrel, uno strumento di analisi statica che rileva in modo affidabile gli algoritmi crittografici post-quantistici standardizzati (ML-KEM e ML-DSA) in binari rimossi e ottimizzati identificando le tabelle di costanti della trasformata numerica numerica uniche, consentendo così un'efficace analisi forense, l'ispezione della catena di approvvigionamento e l'assicurazione della migrazione anche quando i segnali di rilevamento tradizionali sono oscurati.

Autori originali: Muhammad Shaheer Bin Junaid

Pubblicato 2026-08-27

📖 6 min di lettura🧠 Approfondimento

CC BY 4.0

Autori originali: Muhammad Shaheer Bin Junaid

Articolo originale sotto licenza CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Questa è una spiegazione generata dall'IA dell'articolo qui sotto. Non è stata scritta né approvata dagli autori. Per precisione tecnica, consulta l'articolo originale. Leggi il disclaimer completo

Nel mondo della sicurezza digitale, una rivoluzione silenziosa è in corso. Per decenni, le serrature che proteggono i nostri dati più sensibili — registri bancari, segreti di stato, messaggi privati — si sono basate su enigmi matematici facili da creare ma quasi impossibili da risolvere senza una chiave specifica. Questi enigmi, noti come crittografia a chiave pubblica, sono il fondamento della fiducia su Internet. Tuttavia, gli scienziati hanno previsto da tempo che un nuovo tipo di computer, capace di sfruttare le strane leggi della fisica quantistica, sarà alla fine in grado di rompere queste serrature istantaneamente. Quando ciò accadrà, le vecchie serrature diventeranno inutili. Per prepararsi, gli esperti stanno progettando nuove serrature basate su una matematica diversa che nemmeno un computer quantistico può rompere facilmente. Questi nuovi sistemi sono chiamati crittografia post-quantistica. La sfida ora non è solo costruire queste nuove serrature, ma trovarle. Mentre le organizzazioni corrono per sostituire i loro vecchi sistemi, devono sapere esattamente dove si nascondono i nuovi all'interno del complesso software che fa funzionare il loro mondo. Ma c'è un problema: una volta che il software viene compilato in un programma finale per l'uso, le etichette e i nomi che di solito ci dicono cosa c'è dentro vengono spesso rimossi per rendere il programma più piccolo e veloce. Senza quei nomi, trovare una specifica nuova serratura all'interno di un ammasso di codice è stato come cercare un particolare granello di sabbia su una spiaggia senza sapere che aspetto abbia la sabbia.

Un ricercatore di nome Muhammad Shaheer Bin Junaid ha sviluppato un nuovo modo per risolvere questo problema. Ha creato uno strumento chiamato Kestrel che può identificare queste nuove serrature sicure per il futuro quantistico all'interno di software privi di etichette (stripped), anche quando tutti i soliti indizi sono stati rimossi. Il metodo si basa su un'osservazione semplice ma potente: sebbene i nomi del codice possano essere cancellati, i numeri grezzi di cui il codice ha bisogno per funzionare non possono esserlo. I nuovi sistemi crittografici, specificamente quelli basati su una struttura chiamata lattice, devono utilizzare un set fisso di numeri pre-calcolati per eseguire i loro calcoli. Questi numeri agiscono come un'impronta digitale permanente. Indipendentemente da quanto il software venga ottimizzato, compresso o rinominato, questi numeri specifici devono rimanere nel file affinché il programma funzioni. Se i numeri mancano, il programma semplicemente non funzionerà. Kestrel scansiona i dati grezzi di un programma, cercando questi specifici schemi di numeri. Non gli importa dei nomi delle funzioni o delle librerie che il programma utilizza; gli interessa solo la presenza di queste costanti matematiche essenziali.

Il ricercatore ha testato questo approccio su una vasta gamma di software, inclusi programmi costruiti con diversi strumenti e sottoposti a ogni tipo di elaborazione standard che li rende più difficili da analizzare. Hanno scoperto che lo strumento funzionava perfettamente. Nei test che coinvolgevano 128 versioni diverse del software, Kestrel ha identificato i nuovi algoritmi crittografici in ogni singolo caso, anche quando i programmi erano stati privati di tutti i loro nomi e collegati tra loro in modi complessi. Fondamentalmente, lo strumento non ha commesso errori. Quando il ricercatore ha scansionato oltre 6.000 programmi reali da un sistema informatico standard, lo strumento non ha trovato falsi allarmi. Non ha scambiato software ordinari per i nuovi sistemi crittografici. Questo livello di precisione è vitale per la digital forensics, dove un esperto deve essere assolutamente certo di ciò che trova prima di presentarlo in un contesto legale.

Forse la scoperta più sorprendente è arrivata quando lo strumento è stato applicato a un sistema informatico attivo. La scansione ha rivelato dodici programmi diversi che contenevano queste nuove serrature sicure per il futuro quantistico, eppure nessuno sapeva che fossero lì. Questi includevano il software che gestisce le connessioni internet per i login sicuri e i sistemi che eseguono applicazioni containerizzate. In molti casi, la nuova crittografia era entrata in questi programmi automaticamente attraverso i linguaggi di programmazione utilizzati per costruirli, senza che i sviluppatori di quei programmi se ne rendessero conto. Questo ritrovamento evidenzia una lacuna significativa nelle attuali pratiche di sicurezza: le organizzazioni potrebbero credere di utilizzare vecchi sistemi vulnerabili, o potrebbero pensare di aver aggiornato, ma senza un modo per ispezionare il codice effettivo, non possono esserne sicure. Kestrel fornisce quella certezza. Può distinguere tra un programma che utilizza realmente le nuove serrature e uno che semplicemente dichiara di farlo. In un test, un programma dichiarava di avere protezione sicura per il futuro quantistico, ma lo strumento non ha trovato alcuna prova di essa, identificando correttamente la dichiarazione come falsa.

Lo strumento ha anche dimostrato il suo valore in un contesto forense, simulando il recupero di dati da un file danneggiato o eliminato. Quando un file viene eliminato, il sistema operativo spesso marca lo spazio come disponibile per nuovi dati, ma i vecchi dati rimangono sul disco finché non vengono sovrascritti. Gli strumenti di recupero standard cercano di ricostruire la struttura del file, il che spesso fallisce se l'intestazione del file è danneggiata. Tuttavia, poiché Kestrel cerca i numeri specifici all'interno dei dati piuttosto che la struttura del file, è stato in grado di trovare l'impronta digitale crittografica anche nello spazio grezzo e non organizzato dell'immagine del disco. Ha identificato con successo la presenza del nuovo algoritmo in un file che altri strumenti non riuscivano a recuperare. Questa capacità significa che gli investigatori possono confermare l'uso di specifici metodi crittografici anche quando i file originali sono andati perduti o sono corrotti.

La ricerca ha anche chiarito ciò che lo strumento non può fare. È progettato per trovare i tipi specifici di nuove serrature che si basano su queste tabelle di numeri fissi. Non può trovare altri tipi di nuove serrature che non utilizzano questo metodo, né può trovare un programma che calcola questi numeri al volo ogni volta che viene eseguito, invece di memorizzarli. Tuttavia, il ricercatore ha notato che nessun software noto utilizza attualmente questo metodo "al volo" perché è inefficiente e non necessario. Lo strumento è costruito per la realtà di come il software viene effettivamente prodotto e distribuito oggi. Concentrandosi sui numeri immutabili che il codice richiede per funzionare, Kestrel offre un modo affidabile per verificare la presenza di questi nuovi sistemi di sicurezza. Rende visibile l'invisibile, permettendo ad auditor e investigatori di vedere esattamente cosa c'è dentro un programma, assicurando che la transizione verso un futuro sicuro per il quantum sia basata sui fatti piuttosto che sulle supposizioni.

Sintesi Tecnica: Rilevamento Statico di Algoritmi Crittografici Post-Quantum in Binari Stripped

Problematica
La transizione alla crittografia post-quantum (PQC) affronta una lacuna critica di verifica: sebbene esistano strumenti per identificare algoritmi vulnerabili al calcolo quantistico (RSA, ECC) nel codice sorgente o nei binari, non esiste un metodo stabilito per verificare la presenza di algoritmi post-quantum standardizzati (specificamente ML-KEM e ML-DSA) all'interno di binari compilati, "stripped" (privi di simboli) e con linkage statico. Gli strumenti esistenti per la scoperta crittografica si affidano a simboli, dipendenze da librerie, comportamento a runtime o traffico di rete. Questi segnali vengono distrutti dalle trasformazioni standard di build, come lo stripping dei simboli, il linking statico e l'ottimizzazione del compilatore. Di conseguenza, gli auditor e gli esaminatori forensi non possono confermare se un binario implementi realmente la PQC o se la dichiari semplicemente, una distinzione diventata urgente a causa dell'emergere di malware abilitati alla PQC (ad esempio, la famiglia di ransomware "Kyber") e dei mandati normativi (come l'Executive Order 14412) che richiedono la verifica delle primitive crittografiche implementate.

Metodologia: L'Approccio Kestrel
Il documento presenta Kestrel, uno strumento di analisi statica che identifica ML-KEM e ML-DSA rilevando le tabelle di costanti della Trasformata Numerica di NTT (Number-Theoretic Transform) incorporate nella sezione dei dati in sola lettura dei binari.

Il Segnale: ML-KEM e ML-DSA si affidano alla moltiplicazione di polinomi tramite la NTT, che richiede tabelle precomputate di potenze di una radice dell'unità fissa ( $\zeta$ ) modulo un numero primo ( $q$ ). A differenza del codice, queste tabelle di costanti sono dati; non possono essere rimosse o alterate dall'ottimizzazione senza compromettere la correttezza dell'algoritmo. Esse persistono attraverso lo stripping e il linking statico.
Derivazione del Fingerprint: Invece di compilare manualmente un elenco di firme, Kestrel utilizza una procedura deterministica per generare l'intero set di fingerprint partendo dai parametri pubblici dello schema ( $q$ , $\zeta$ , lunghezza della trasformata, larghezza del bit-reversal). Il generatore produce tre famiglie di costanti: twiddle forward, twiddle inverse e costanti base-case/mod-root. Esso tiene conto di varie rappresentazioni di archiviazione, inclusi la forma di Montgomery, interi con segno/senza segno e layout vettorializzati.
Pipeline di Rilevamento:
- Normalizzazione: Il detector scansiona la sezione dei dati in sola lettura, normalizzando i valori candidati ai residui canonici modulo $q$ . Questo gestisce le rappresentazioni con o senza segno e converte la forma di Montgomery nuovamente in residui semplici.
- Scoring Multiset: Invece di un confronto esatto di byte, il detector assegna un punteggio a una finestra basandosi sul numero di residui canonici attesi che essa contiene, trattandoli come un multiset. Questa indipendenza dall'ordine permette di gestire variazioni di vettorizzazione e layout.
- Corroborazione: La presenza di costanti di round di Keccak (utilizzate dalla funzione SHAKE sottostante) viene controllata come condizione secondaria per rafforzare la fiducia, sebbene non sia un vincolo rigido per evitare falsi negativi.
- Attribuzione: Il conteggio totale dei byte delle tabelle twiddle funge da marcatore di provenienza. Diversi lignaggi di implementazione (ad esempio, riferimento C, libreria standard Go, Chrome/BoringSSL) memorizzano un numero distinto di tabelle (1, 2 o 3), permettendo allo strumento di attribuire il binario a uno specifico lignaggio di origine.

Contributi Chiave

Procedura di Derivazione: Un metodo generale per generare set di fingerprint per qualsiasi schema lattice-based basato su trasformata partendo solo dai parametri pubblici, garantendo la copertura di implementazioni future o non esaminate.
Detector Robusto: Un meccanismo di scoring che normalizza i dati e utilizza il matching di multiset per ottenere un alto richiamo (recall) attraverso diversi compilatori, livelli di ottimizzazione e tecniche di offuscamento, con un limite di falsi positivi derivato analiticamente.
Attribuzione di Lignaggio: Una capacità dimostrata di distinguere tra i principali lignaggi di implementazione (C-reference vs. from-specification) basandosi esclusivamente sulla configurazione e sul conteggio delle tabelle di costanti, senza accesso al codice sorgente.
Validazione Operativa: Il metodo è validato in due contesti specifici: esame forense (analisi di immagini disco sequestrate dove l'esecuzione è impossibile) e assicurazione della migrazione (verifica delle dichiarazioni dei vendor rispetto ai binari spediti).

Risultati Sperimentali

Recall e Precision: In esperimenti su quattro lignaggi di implementazione indipendenti (C, Go, Rust, BoringSSL) e tutte le trasformazioni di build (inclusi stripping, linking statico e sostituzione di istruzioni LLVM), Kestrel ha raggiunto un richiamo di 128/128 per ML-KEM e 255/256 per ML-DSA (la singola mancata rilevazione è un quirk noto dell'implementazione di riferimento, non un fallimento del detector). La precision è stata del 100% con zero falsi positivi.
Analisi di Sistema: Una scansione di 6.224 binari da un sistema Linux di produzione ha rivelato zero falsi positivi. Ha identificato 12 programmi non catalogati contenenti ML-KEM, tra cui il binario di scambio chiavi OpenSSH e lo stack di gestione dei container (containerd, docker, runc). In particolare, gli strumenti per i container contenevano codice PQC ereditato dal runtime del linguaggio Go senza la consapevolezza esplicita dei manutentori del progetto.
Recupero Forense: In una prova riguardante un binario eliminato su un'immagine disco, il carving dei file convenzionale non è riuscito a recuperare il file. Tuttavia, Kestrel ha rilevato con successo la tabella ML-KEM scansionando lo spazio non allocato grezzo, dimostrando che il segnale sopravvive alla distruzione a livello di file.
Evasione Avversaria: Lo strumento ha resistito a evasioni triviali (riordinamento, padding, splitting delle tabelle). Solo un'evasione di tipo "byte-rewrite" (XOR della tabella con una chiave a runtime) ha sconfitto il rilevamento, il che richiede una modifica sostanziale del codice crittografico.

Significatività e Rivendicazioni
Il documento afferma che Kestrel fornisce il primo metodo pratico per verificare la presenza di schemi lattice post-quantum in binari stripped, affrontando un punto cieco negli attuali strumenti di migrazione e forensi.

Compliance: Permette la verifica delle scadenze di migrazione statutaria confermando che un binario contenga effettivamente le primitive PQC dichiarate, piuttosto che affidarsi a dichiarazioni dei vendor o scansioni a livello di sorgente.
Forensics: Consente agli esaminatori di distinguere tra implementazioni PQC genuine e affermazioni fraudolente (ad esempio, malware che dichiara PQC ma usa RSA) e di rilevare la PQC in file eliminati o danneggiati.
Limitazioni dell'Ambito: L'autore dichiara esplicitamente i confini del metodo: si applica solo a schemi lattice con tabelle di trasformata memorizzate (ML-KEM, ML-DSA) e assume pratiche di build ordinarie. Non copre schemi hash-based (SLH-DSA), schemi che calcolano le costanti a runtime o runtime gestiti dove le costanti possono essere emesse come istruzioni piuttosto che tabelle di dati.

Il documento conclude che, sebbene la tecnica del matching delle costanti sia consolidata, la sua applicazione alle primitive post-quantum in binari stripped è nuova e necessaria, poiché queste primitive lasciano un fingerprint che l'ordinaria compilazione non può rimuovere.

Articoli simili