La dott.ssa Zuzana Trubini e il dott. Martin Hirt ricevono il premio TCC Test-of-Time Award

I lavori premiati:

Una matrice iperinvertibile è una matrice in cui ogni sottomatrice quadrata non banale è invertibile. Ogni matrice m per n induce una mappatura (lineare) da n valori di input a m valori di output; se la matrice è iperinvertibile, allora la mappatura ha la proprietà che da ogni n valori (alcuni input e alcuni output) possono essere calcolati i restanti m valori (alcuni input e alcuni output).

Le matrici iperinvertibili hanno diverse applicazioni in crittografia. Ad esempio, si considerino n valori casuali e un avversario che può manipolare t dei valori: Senza sapere quali sono i valori manipolati, è possibile estrarre n-t valori casuali e sconosciuti all'avversario? La risposta è sì, ovvero applicando una matrice iperinvertibile (n-t)-per-n agli n valori. Si può dimostrare che gli n-t valori di uscita sono uniformemente distribuiti, statisticamente indipendenti dai valori manipolati.

Un'altra applicazione è la verifica del grado dei polinomi. Si consideri un insieme di n polinomi con grado al massimo d, dove l'avversario può manipolare fino a t dei polinomi e aumentarne il grado. Tale manipolazione può essere individuata applicando una matrice iperinvertibile n per n ai polinomi e verificando il grado di ogni t dei polinomi in uscita.

L'articolo premiato introduce le matrici iperinvertibili e mostra come possono essere utilizzate per costruire computazioni multiparte perfettamente sicure con costi lineari; ad esempio, per ogni moltiplicazione, ogni parte deve inviare solo un numero costante di valori.

Zuzana Trubini e Martin Hirt riceveranno il premio TCC Test-of-Time Award il prossimo novembre.

Chi siamo Dott.ssa Zuzana Trubini:

Zuzana Trubini ha studiato matematica all'ETH di Zurigo e ha conseguito il dottorato nel gruppo di ricerca del Prof. Ueli Maurer. La sua ricerca si è concentrata sui verbali crittografici e sul calcolo multi-party in reti sincrone e asincrone. I suoi risultati sono stati pubblicati in prestigiose conferenze internazionali come TCC, Asiacrypt e PODC. Attualmente lavora presso cnlab security AG come analista di sicurezza.

Chi siamo Martin Hirt:

Martin Hirt ha conseguito un diploma di master in informatica e un dottorato in crittografia, entrambi presso l'ETH di Zurigo. La sua ricerca si concentra su verbali crittografici, miglioramenti dell'efficienza, reti asincrone, modelli di avversari generalizzati e voto elettronico. I lavori di Hirt sono stati pubblicati in varie conferenze prestigiose come TCC, Crypto ed Eurocrypt. Attualmente lavora come assistente di ricerca senior e docente presso l'Istituto di Informatica teorica dell'ETH di Zurigo.