La dott.ssa Zuzana Trubini e il dott. Martin Hirt ricevono il premio TCC Test-of-Time Award
Zuzana Trubini e Martin Hirt ricevono il prestigioso TCC Test-of-Time Award per il loro lavoro "Perfectly-Secure MPC with Linear Communication Complexity", pubblicato nel 2008. Il comitato del premio premia il lavoro per l'introduzione delle matrici iperinvertibili.
I lavori premiati:
![Dott. Trubini e Dott. Hirt](/de/die-eth-zuerich/portraet/aktuelle-ehrungen-und-preise/2020/09/dr-zuzana-trubini-und-dr-martin-hirt-erhalten-den-tcc-test-of-time-award/_jcr_content/news_content/textimage/image.imageformat.textdouble.966709619.png)
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.
Conferenza sulla teoria della crittografia (TCC):
Il TCC Test-of-Time Award riconosce un lavoro eccezionale presentato al TCC almeno otto anni fa che ha dato un contributo significativo alla teoria della crittografia. Il premio viene consegnato ogni anno durante la conferenza TCC. pagina esternaAltro