Sviluppo di una app mobile per il problema del milionario

Karrie Moore
Relatore: Stelvio Cimato

Università degli studi di Milano

karrie.moore@gmail.com
Contenuti

1 Introduzione al problema
Secure Multi-party Computation
Problema del milionario
Votazione di un candidato

2 L’applicazione mobile
Architettura
Tecnologie e librerie
Applicazione
Prestazioni
Introduzione al problema
Secure Multi-party Computation I

La SMC è una branca della crittografia che si occupa di creare strategie

per valutare una funzione di più argomenti che devono essere mantenuti
segreti.
Secure Multi-party Computation II

Inquadramento storico:
Yao (1982): qualsiasi funzione computabile può essere computata in
modo sicuro nel caso della 2PC.
Chaum, Crepeau e Damgard (1987): qualsiasi funzione computabile
può essere computata in modo sicuro.
Definizioni:
Proprietà della SMC
Privacy degli input
Correttezza del protocollo
Tipi di avversari
Avversario semi-onesto
Avversario malizioso
Il problema del milionario

Due milionari vogliono comparare la loro ricchezza

desiderano scoprire chi dei due è il ricco
nessuno dei due vuole rivelare la propria ricchezza
La funzione che deve essere valutata in modo sicuro è quindi:
(
1 d1 ≥ d2
f (d1 , d2 ) =
0 altrimenti
La soluzione al problema del milionario
Votazione di un candidato
È un algoritmo che permette ad un insieme di votanti, dato un insieme di
candidati, di esprimere la propria preferenza per un candidato.
L’applicazione mobile
Architettura dell’applicazione

Contesto (solo) mobile

Client-server
Sicurezza: possibile cifratura delle comunicazioni tra dispositivi
Gestione degli errori: propagazione a tutti i dispositivi degli errori
avvenuti
Tecnologie e librerie

Android (API 16, v4.1)

Java Cryptography Architecture
Wi-Fi Direct: creazione di reti WiFi senza infrastruttura
Salut: liberia per semplificare uso di Wi-Fi Direct
Logan Square: libreria per la de/serializzazione di JSON
Applicazione

Prima schermata protocollo del milionario a sinistra e di voto a destra

Applicazione II
Schermata di attesa di connessione dei dispositivi
Prestazioni

TEMPI  MEDI  VOTAZIONE  CON  4  PARTECIPANTI  (MS)   3989   7635  

TEMPI  MEDI  VOTAZIONE  CON  3  PARTECIPANTI  (MS)   2604   5630  

TEMPI  MEDI  PROTOCOLLO  DEL  MILIONARIO  (MS)   1614   3367  

0   2000   4000   6000   8000   10000   12000  

AVVIO  SERVIZIO  SU  WI-­‐FI  DIRECT  

CREAZIONE  E  CONFIGURAZIONE  RETE  DI  CALCOLO  

INVIO  PRIMO  PACCHETTO  E  INVIO  SOLUZIONE  

Grazie