"Personaalne uurimistoetus" projekt PUT2
PUT2 "Programmianalüüsid ja -optimisatsioonid turvaliste ühisarvutuste raamistikele (1.01.2013−31.12.2013)", Peeter Laud, Cybernetica AS.
PUT2
Programmianalüüsid ja -optimisatsioonid turvaliste ühisarvutuste raamistikele
Program Analyses and Optimizations for Secure Multiparty Computation Frameworks
1.01.2013
31.12.2013
Personaalne uurimistoetus
Otsinguprojekt
ValdkondAlamvaldkondCERCS erialaFrascati Manual’i erialaProtsent
4. Loodusteadused ja tehnika4.6. ArvutiteadusedP170 Arvutiteadus, arvutusmeetodid, süsteemid, juhtimine (automaatjuhtimisteooria)1.1. Matemaatika ja arvutiteadus (matemaatika ja teised sellega seotud teadused: arvutiteadus ja sellega seotud teadused (ainult tarkvaraarendus, riistvara arendus kuulub tehnikavaldkonda)100,0
AsutusRollPeriood
Cybernetica ASkoordinaator01.01.2013−31.12.2016
PerioodSumma
01.01.2013−31.12.201382 800,00 EUR
82 800,00 EUR

Käesolevas projektis kavatseme rakendada kompilaatorite konstrueerimisest tuttavaid programmioptimeerimismeetodeid, et konstrueerida keerulise struktuuriga ülesannete jaoks efektiivsemaid turvalisi ühisarvutusprotokolle. Ülesande funktsionaalsuse ja turvanõuete kirjeldusest lähtudes üritame valida kõige efektiivsema elementaarprotokollide jada, mis selle ülesande turvanõudeid rikkumata täidab. Optimeerija peab ülesande funktsionaalsust uurides välja valima kõige sobivama konfidentsiaalsete andmete esituse, krüptograafilise protokolli, nende järjekorra ja vajaliku turvataseme iga instruktsiooni jaoks. Funktsionaalsuse uurimiseks kasutame abstraktset interpretatsiooni. Selle tulemused on mingi optimeerimismootori (näiteks lineaarse planeerimise) sisendiks. Projekti käigus me mitte ainult ei kombineeri olemasolevaid tehnikaid, vaid pakume välja ka uusi protokolle, mis on eriti efektiivsed mingite konkreetsete instruktsioonimustrite jaoks.
We propose to apply the program optimization methods from the field of compiler construction to the construction of more efficient secure multiparty computation (SMC) protocols for complex tasks. Starting from the description of the functionality and security requirements of the given task, we will strive to select the most efficient sequence of elementary protocols realizing this functionality while preserving the confidentiality of inputs. The optimizer must study the functionality in order to select the most suitable private data representation, SMC techniques, their order, as well as the required security level for each instruction. The main technique for such study will be abstract interpretation. Its results will be fed to an optimization engine (e.g. linear programming). During the project we will not only combine existing techniques, but also propose new protocols that are particularly efficient for certain patterns of operations.

Vastutav täitja (1)

IsikKraadTöökoht ja ametCVOsalemise periood
Peeter LauddoktorikraadCybernetica AS, Teadusdirektor (1,00)EST / ENG01.01.2013−31.12.2013

Põhitäitjad (2)

IsikKraadTöökoht ja ametCVOsalemise periood
Dan BogdanovdoktorikraadEST / ENG01.01.2013−31.12.2016
Jan VillemsondoktorikraadEST / ENG01.01.2013−31.12.2016

Täitjad (2)

IsikKraadTöökoht ja ametCVOsalemise periood
Jaak RandmetsdoktorikraadEST / ENG01.01.2013−31.12.2016
Riivo TalvistedoktorikraadEST / ENG01.01.2013−31.12.2016