Quantifying Side-Channel Leakage in Public Metrology Releases

Sintesi Tecnica: Quantificazione della Fuga di Informazioni Side-Channel nei Rilasci Metrologici Pubblici

Definizione del Problema
I rilasci scientifici e metrologici pubblici, come gli spettri di rugosità derivanti dalla produzione di semiconduttori, possono involontariamente rivelare parametri di processo nascosti (ricette) che l'entità che li rilascia intende mantenere privati. Una volta pubblicato un rilascio, un osservatore può utilizzare la misurazione per recuperare impostazioni di processo specifiche — quali il carico del quencher, la lunghezza di trasporto dell'acido o l'ampiezza stocastica — senza l'intento del rilasciante. Il documento formalizza questo rischio come un audit statistico profilato di side-channel. La sfida centrale è quantificare quanti spettri rilasciati siano necessari affinché un bit di una ricetta protetta diventi statisticamente distinguibile all'interno di una classe di utilità pubblica, date specifiche restrizioni sulle risorse di profilazione dell'avversario.

Metodologia
Gli autori propongono un rigoroso framework che adatta il flusso di informazione quantitativa e il ragionamento del template attack profilato ai rilasci scientifici pubblici. La metodologia è strutturata attorno a un "gioco ricetta-rilascio" che coinvolge un proprietario del rilascio e un osservatore profilato.

1. Modellazione del Canale: Il transcritt pubblico è modellato come una banda di Densità Spettrale di Potenza (PSD) rilasciata. Per il caso di studio della litografia EUV (Extreme Ultraviolet), lo spettro è modellato come un campo di reazione-diffusione schermato:
   $$S(k) = A e^{-\beta k^2}(1 + \lambda^2 k^2)^{-3/2} + S_0$$
   Qui $A$ (ampiezza) e $\beta$ (sfocatura/blur) sono trattati come coordinate di disturbo (nuisance), $S_0$ è il piano di metrologia (metrology floor), e $\lambda$ è la coordinata di trasporto protetta.
2. Formalismo Statistico:
   • Canale Gamma: Per i bin mediati della PSD, gli autori derivano le verosimiglianze esatte assumendo che i bin indipendenti seguano una distribuzione Gamma.
   • Canale Pesato sulla Covarianza: Quando i bin sono correlati (ad esempio, a causa di segmenti sovrapposti), il modello viene sostituito da un canale di spettro logaritmico pesato sulla covarianza.
   • Metriche di Divergenza: Il framework calcola le divergenze di Kullback-Leibler (KL) esatte ed gli esponenti di Chernoff per quantificare la distinguibilità tra due ricette equivalenti per utilità ma separate da una coordinata protetta.
3. Classi di Avversario: L'audit valuta gli avversari in base ai loro budget di profilazione:
   • Budget di Addestramento ($Q$): Numero di spettri etichettati utilizzati per addestrare i template.
   • Dimensione della Libreria ($N$): Numero di template memorizzati.
   • Budget Computazionale ($T$): Numero di punteggi di verosimiglianza valutati.
   • Mismatch: Il divario tra la distribuzione reale dei dati e il modello adattato dall'avversario.
     Il framework fornisce limiti per test a coppie ottimali, soglie di libreria finita e correzioni per l'addestramento finito e il mismatch del modello.

Contributi Chiave

1. Gioco Esplicito nelle Risorse: Una definizione formale del gioco ricetta-rilascio con budget espliciti $(N, Q, L, T)$ che graduano l'impegno dell'avversario, andando oltre i limiti teorici idealizzati dell'informazione per approdare a vincoli pratici.
2. Limiti Statistici Esatti: Derivazione delle verosimiglianze esatte del canale gamma e dei sostituti pesati sulla covarianza per i bin correlati, ottenendo divergenze KL precise, esponenti di Chernoff e limiti di vantaggio del bit protetto.
3. Legge di Trasporto a Banda Finita: Un risultato principale che stabilisce che, dopo aver eliminato ampiezza e sfocatura, l'informazione di trasporto dell'acido protetta in una banda a bassa frequenza segue un esponente di nono ordine:
   $$I_{\lambda|\alpha,\beta}(K) = \frac{64}{1225} w \lambda^6 K^9 + O(w \lambda^8 K^{11})$$
   Questa legge è valida per $K\lambda \ll 1$, dove $K$ è il bordo della banda.
4. Analisi Accoppiata alle Variabili di Disturbo: Un trattamento del piano di metrologia ($S_0$) e della non-identificabilità chimica, mostrando come la profilazione del piano riduca l'informazione e definendo le condizioni sotto le quali un audit "cieco al piano" (floor-blind) sia affidabile.
5. Strumento di Design per la Divulgazione Controllata: Un metodo per posizionare le tangenti protette nel nullspace della mappa di rilascio, permettendo il calcolo della statistica pubblica che massimizza l'utilità rispettando un budget di fuga.
6. Protocollo di Audit Riproducibile: Un protocollo passo-passo (Sezione 8) per trasformare un rilascio di PSD misurato in esponenti di fuga e bande sicure, includendo diagnostica per il fit gamma, stima della covarianza e margini di mismatch.
7. Implementazione Open: Un pacchetto Python con seed fissato che riproduce tutte le tabelle e le figure, valida la legge asintotica di nono ordine e include simulazioni Monte-Carlo.

Risultati

• Esponenti di Fuga: Lo studio conferma che la fuga scala con la nona potenza del bordo della banda ($K^9$) nel regime a bassa frequenza. Ciò implica che i rilasci passa-basso (piccolo $K$) nascondono efficacemente il bit protetto, mentre il rilascio di dati vicino o oltre il "ginocchio di trasporto" ($K\lambda \sim 1$) aumenta drasticamente la fuga.
• RMS vs. PSD: Ridurre uno spettro a un singolo scalare RMS (Root Mean Square) distrugge la maggior parte del segnale di attribuzione. Negli audit sintetici, i rilasci basati solo su RMS hanno prodotto tassi di successo vicini al caso (circa 0,55), mentre i rilasci PSD completi hanno raggiunto un'attribuzione quasi certa (circa 0,98) con lo stesso numero di spettri.
• Penalità di Addestramento Finito: Il documento quantifica la penalità quando l'avversario ha dati di addestramento limitati ($Q$). Con una profilazione scarsa ($Q \le 20$), il tasso di successo dell'avversario rimane vicino al caso, anche se il canale teoricamente permette una fuga maggiore. Il successo sale decisamente solo quando $Q \gtrsim 50$.
• Effetti di Correlazione: La correlazione positiva tra i bin (ad esempio, derivante da medie di Welch sovrapposte) riduce l'informazione distinguibile. Un audit "diagonal-gamma" (che assume l'indipendenza) sovrastima la fuga rispetto a un audit pesato sulla covarianza, fungendo da limite superiore conservativo.
• Condizionamento del Piano: L'audit identifica un angolo "ben condizionato" (basso piano, banda moderata) dove un'analisi cieca al piano è valida. In regimi mal condizionati, il piano di metrologia deve essere esplicitamente profilato per evitare di sovrastimare la protezione.

Significato e Ambito
Il documento sostiene di fornire un framework di audit side-channel statistico riproducibile specifico per i rilasci metrologici scientifici. La sua importanza risiede nel trasformare il rischio astratto di "fuga di dati" in numeri concreti e calcolabili (esponenti, bande sicure e soglie di campionamento) che un proprietario del rilascio può utilizzare per prendere decisioni di divulgazione.

Gli autori sono modesti riguardo all'ambito:

• Il caso di studio EUV è un'istanza condizionata dal modello, non un modello di processo validato per tutta la litografia.
• La "coordinata protetta" $\lambda$ è una lunghezza di trasporto effettiva; un singolo spettro non può identificare univocamente i singoli tassi chimici (ad esempio, separando il carico del quencher dal tasso di perdita) senza una scansione controllata.
• I risultati attuali si basano su dati sintetici e ricostruiti (incluso un "test del fumo" su punti ricostruiti da un paper pubblico) per esercitare la pipeline.
• Il framework è agnostico rispetto al modello per quanto riguarda il calcolo (canali gamma/covarianza, limiti di divergenza), ma dipende dal modello specifico dello spettro schermato per l'istanza fisica.

Il documento conclude che il passo successivo è il dispiegamento di questo protocollo su rilasci misurati ripetuti per stimare empiricamente i gradi di libertà effettivi e la covarianza, passando così dai limiti teorici a garanzie di sicurezza misurate e pratiche.