Nell'architettura invisibile di internet, un vasto sistema di serrature e chiavi digitali protegge tutto, dai conti bancari ai messaggi privati. Per decenni, queste serrature si sono basate su problemi matematici che erano facili da creare ma quasi impossibili da risolvere anche per i computer più potenti. Tuttavia, gli scienziati avevano previsto da tempo che un nuovo tipo di computer, che opera secondo le strane regole della fisica quantistica, sarebbe arrivato prima o poi. Quando accadrà, sarà in grado di scassinare quelle vecchie serrature in pochi secondi. Per prepararsi a questo futuro, i ricercatori stanno ora implementando una nuova generazione di serrature digitali basate su diverse strutture matematiche che i computer quantistici non possono violare facilmente. Questi nuovi sistemi vengono adottati da governi e grandi aziende tecnologiche per mettere in sicurezza internet per i decenni a venire.

Il momento più critico in questo nuovo sistema di sicurezza avviene proprio la prima volta che un computer riceve un messaggio. Prima di poter verificare se un messaggio è genuino o sbloccare un segreto, deve prima tradurre un flusso di dati grezzi in una chiave o firma utilizzabile. Questo passaggio di traduzione è la porta d'ingresso del sistema. Se la porta è costruita male, un attaccante non ha bisogno di rompere la serratura; deve solo spingere un oggetto dalla forma errata contro la maniglia. Se la porta accetta un oggetto malformato, l'intero sistema può bloccarsi, andare in sospensione o, peggio ancora, essere raggirato per accettare una chiave falsa. Assicurarsi che queste porte d'ingresso rifiutino ogni possibile forma errata è importante tanto quanto rendere le serrature stesse indistruttibili.

Uno studio recente condotto dal ricercatore indipendente Arpan Sharma si è concentrato esattamente su questa porta d'ingresso per i nuovi sistemi resistenti al quantum, specificamente all'interno del linguaggio di programmazione Java, che gestisce una enorme porzione del software mondiale. Il ricercatore ha testato due implementazioni principali di questi nuovi standard: una fornita da una libreria di sicurezza ampiamente utilizzata chiamata Bouncy Castle, e un'altra integrata direttamente nella piattaforma Java stessa. L'obiettivo non era vedere se la matematica funzionasse correttamente su dati perfetti, ma vedere cosa accadeva quando il software veniva alimentato con milioni di input casuali, rotti e ostili. Il ricercatore voleva sapere se il software avrebbe gestito questi cattivi input con grazia, rifiutandoli, o se avrebbe inciampato, si sarebbe bloccato o avrebbe accettato silenziosamente un errore pericoloso.

Per farlo, il ricercatore ha costruito una macchina di test che agiva come un attaccante implacabile e automatizzato. Ha generato 900.000 diverse variazioni di dati, che andavano da versioni leggermente alterate di chiavi valide a flussi di byte completamente privi di senso, e li ha immessi nel software. La macchina osservava attentamente per vedere come reagiva il software. Cercava qualsiasi segno di crash, qualsiasi messaggio di errore inaspettato che il software non avrebbe dovuto mostrare, o qualsiasi istanza in cui il software accettava una chiave errata come se fosse buona. I risultati per l'attuale versione della libreria Bouncy Castle sono stati straordinariamente puliti. Su 900.000 tentativi, il software ha rifiutato ogni singolo input malformato esattamente come doveva fare, non producendo errori inaspettati e non accettando alcuna chiave errata.

Tuttovia, nella sperimentazione scientifica, un risultato che dice "nulla è andato storto" è spesso difficile da fidarsi. È possibile che la macchina di test stessa fosse troppo goffa per trovare un problema, o che il software fosse stato semplicemente fortunato. Per dimostrare che il test fosse effettivamente capace di trovare un difetto, il ricercatore ha utilizzato un trucco intelligente chiamato controllo positivo. Ha eseguito la stessa macchina di test contro una versione precedente del software Bouncy Castle che presentava un difetto specifico e reale. In pochi secondi, la macchina ha trovato il difetto. Ha scoperto che il vecchio software accettava una chiave pubblica della dimensione errata, un errore che avrebbe potuto portare a un crash più avanti nel processo. Poiché la macchina ha trovato con successo un problema noto nella vecchia versione, il fatto che non abbia trovato nulla nella nuova versione è diventato una conferma affidabile che il nuovo software è effettivamente robusto.

Quando il ricercatore ha applicato questo stesso test rigoroso al codice resistente al quantum integrato direttamente nella piattaforma Java, i risultati hanno rivelato un tipo diverso di problema. Il software Java non è andato in crash né ha accettato una firma falsa, che è l'esito più pericoloso. Inveve, ha mostrato una sottile differenza nel modo in cui gestiva i dati errati. Il sistema Java accettava una chiave pubblica di qualsiasi lunghezza, anche una chiave vuota o troppo corta, senza sollevare un allarme al momento dell'ingresso. Avrebbe controllato la dimensione della chiave solo successivamente, quando la chiave veniva effettivamente utilizzata per eseguire un compito. Se la chiave era troppo piccola, il sistema si sarebbe fermato e avrebbe segnalato un errore. Sebbene ciò abbia infine evitato un disastro, significava che il software aveva brevemente trattenuto una chiave interrotta, trattandola come valida per un breve periodo.

Questo comportamento è stato coerente attraverso tre diverse versioni della piattaforma Java. Il software ha preso la stessa decisione della libreria Bouncy Castle alla fine: ha rifiutato la chiave errata. La differenza era puramente nella tempistica. La libreria Bouncy Castle controllava la dimensione immediatamente al ricevimento della chiave e la rifiutava subito. La piattaforma Java accettava la chiave prima, la memorizzava e la rifiutava solo quando provava a usarla. Questa distinzione è importante perché mostra che, sebbene entrambi i sistemi siano sicuri da crash immediati, gestiscono le regole di ingresso in modo diverso. Lo studio ha anche evidenziato una lezione più ampia per chiunque testi questo tipo di software complesso: a volte, un difetto appare solo quando due parti diverse di un sistema interagiscono, come una firma valida accoppiata a una chiave errata. Testare le parti isolatamente spesso fa perdere questi pericoli nascosti.

La ricerca ha anche scoperto un ostacolo nascosto nel processo di test stesso. Il sistema informatico che esegue i test ha una funzione integrata progettata per velocizzare le operazioni semplificando i messaggi di errore quando lo stesso errore si verifica ripetutamente. In un test massiccio che coinvolge centinaia di migliaia di input, questa funzione avrebbe eliminato silenziosamente i dettagli degli errori, rendendo impossibile per la macchina di test distinguere se un crash fosse un fallimento reale e inaspettato o un problema noto. Il ricercatore ha dovuto disabilitare manualmente questa funzione per garantire che i risultati del test fossero accurati. Questa scoperta suggerisce che, per i test di sicurezza su larga scala del software moderno, le impostazioni standard possono talvolta nascondere proprio i problemi che i ricercatori stanno cercando di trovare.

In definitiva, questo studio fornisce un quadro chiaro e verificato di come le nuove serrature resistenti al quantum si stiano comportando nel mondo reale. L'attuale versione della libreria Bouncy Castle appare altamente resiliente, rifiutando gli input errati immediatamente e costantemente. La piattaforma Java è anch'essa sicura, sebbene segua un percorso leggermente diverso, trattenendo le chiavi errate per un momento prima di rifiutarle. Utilizzando un controllo positivo per validare il metodo di test, il ricercatore ha garantito che il risultato "nulla trovato" per il nuovo software fosse un segno genuino di forza, non un fallimento del test. Mentre internet si prepara a passare a questi nuovi standard di sicurezza, questo tipo di assicurazione dettagliata e sottoposta a stress è essenziale per garantire che le nuove porte siano costruite per resistere alla spinta di un mondo ostile.