Poco dopo l'inizio del nuovo anno, Gli americani in tutta la nazione inizieranno a tornare ai seggi elettorali per votare alle primarie presidenziali. Quanto si sentono sicuri nel processo di voto potrebbe dipendere da qualcosa chiamato "calcolo multipartitico sicuro".

Il calcolo multiparte sicuro consente a diverse parti di lavorare insieme e risolvere un problema. Può, ad esempio, mantieni private le offerte durante un'asta o garantisci la privacy durante le votazioni elettorali. Più importante, consente la fiducia nelle interazioni sociali e commerciali.

I ricercatori di ingegneria informatica e informatica della Purdue stanno lavorando insieme per trovare la risposta.

Il progetto, denominata High Assurance Compositional Cryptography:Languages ​​and Environments (HACCLE), sta lavorando per utilizzare le aree della sicurezza e del linguaggio di programmazione per risolvere le domande e gli ostacoli creati dai metodi attuali.

"La sfida è che c'è una vasta gamma di domande che devono essere affrontate durante lo sviluppo di tali applicazioni, " ha detto Milind Kulkarni, professore associato di ingegneria elettrica e informatica, chi sta guidando il progetto. "E ogni volta che rispondi a queste domande in modo diverso, ci vuole uno sforzo eroico da parte di esperti di crittografia per fornire una soluzione efficace."

Kulkarni ha affermato che i ricercatori della Purdue stanno lavorando per portare il compito di sviluppare applicazioni multipartitiche sicure fuori dal regno degli esperti e renderle accessibili ai normali programmatori.

HACCLE ha lo scopo di fornire linguaggi di programmazione e la verifica, ottimizzazione, e strumenti di esecuzione per affrontare le sfide attualmente incontrate. L'obiettivo finale è consentire ai programmatori di scrivere applicazioni di calcolo multiparte sicure con il minimo sforzo e le massime prestazioni.

Ulteriori facoltà coinvolte nella ricerca del progetto sono Tiark Rompf, Roopsha Samanta, Hemanta Maji, Aniket Kate, Christina Garman, Benjamin Delaware e Jeremiah Blocki, tutti i professori del Dipartimento di Informatica di Purdue. Il gruppo sta collaborando con Reservoir Labs, una società di tecnologia e soluzioni a New York City.

Il progetto ha recentemente ricevuto un finanziamento dall'Intelligence Advanced Research Projects Activity, un'organizzazione all'interno dell'ufficio del direttore dell'intelligence nazionale. Attraverso le tecniche di calcolo della crittografia omomorfica di IARPA con riduzione dell'overhead, il progetto HACCLE riceverà fino a 10,7 milioni di dollari.

Attualmente, una serie di problemi può sorgere quando due o più parti tentano un calcolo sicuro. Questi vanno da quanto le parti devono comunicare a quali specifiche tecniche crittografiche funzioneranno meglio per implementare questo lavoro.

"Ecco dove entra in gioco la magia dei linguaggi di programmazione, " Kulkarni ha detto. "Facoltà in linguaggi di programmazione e aree di sicurezza, entrambi i punti di forza di Purdue, stanno progettando nuovi linguaggi specifici del dominio per scrivere applicazioni di calcolo multipartitiche sicure."

Rompf afferma che la tecnologia attraverserà le discipline come mai prima d'ora.

"Questo progetto è particolarmente entusiasmante perché sta costruendo ponti in molti modi, " ha detto. "In primo luogo, tra linguaggi di programmazione e ricerca sulla sicurezza e le rispettive comunità. Secondo, nel campus tra il College of Science e il College of Engineering. Il vero progresso può essere fatto solo attraversando i confini, ed è per questo che avremo successo".

Blocki, un assistente professore di informatica, afferma che i nuovi strumenti possono consentire alle organizzazioni o agli individui di cooperare in modi fondamentalmente nuovi, anche se diffidano l'uno dell'altro.

"Il calcolo multiparte sicuro consente alle nostre parti (reciprocamente diffidenti) di calcolare qualsiasi funzione dei loro dati congiunti senza esporre alcun dato riservato, " lui dice.

Lo spiega in questo modo:diciamo che c'è un gruppo di persone, e l'obiettivo è capire se ci sono accoppiamenti romantici. Ogni persona scrive nel nome della loro cotta. Se due condividono una cotta, entrambe le parti saranno informate alla fine del protocollo. Altrimenti, nessuno saprà cosa è entrato una persona.

"Come parte del progetto, stiamo lavorando per migliorare le primitive crittografiche di base che vengono utilizzate nel calcolo multipartitico sicuro. Vogliamo anche sviluppare tecniche efficienti per aiutare a comporre queste primitive in un modo sicuro e dimostrabile e per stimare il sovraccarico del protocollo finale quando combiniamo diverse primitive crittografiche differenti, " ha detto Blocki. "In definitiva, l'obiettivo è sviluppare un compilatore che consenta a uno sviluppatore di specificare un protocollo in un linguaggio di alto livello e quindi compilare la descrizione di alto livello in un protocollo multipartitico sicuro ed efficiente."

I linguaggi consentiranno agli sviluppatori di scrivere applicazioni distribuite di alto livello per il calcolo multipartitico protetto, specificando allo stesso tempo quali proprietà di sicurezza vogliono garantire. La ricerca del progetto HACCLE fornirà inoltre solide garanzie formali che i calcoli forniscano la funzionalità e la sicurezza desiderate.