"Personaalse uurimistoetuse stardigrant" projekt PSG497
PSG497 "Loogiline programmeerimine turvalise ühisarvutuse rakendusena (1.01.2020−31.12.2020)", Alisa Pankova, Cybernetica AS.
PSG497
Loogiline programmeerimine turvalise ühisarvutuse rakendusena
Logic Programming Engine as Secure Multiparty Computation Application (LESCA)
1.01.2020
31.12.2020
Teadus- ja arendusprojekt
Personaalse uurimistoetuse stardigrant
ETIS klassifikaatorAlamvaldkondCERCS klassifikaatorFrascati Manual’i klassifikaatorProtsent
4. Loodusteadused ja tehnika4.6. ArvutiteadusedP170 Arvutiteadus, arvutusmeetodid, süsteemid, juhtimine (automaatjuhtimisteooria)1.2 Arvutiteadus ja informaatika100,0
AsutusRollPeriood
Cybernetica ASkoordinaator01.01.2020−31.12.2020
PerioodSumma
01.01.2020−31.12.202060 250,00 EUR
60 250,00 EUR

Käesolev projekt uurib turvalise ühisarvutuse rakendatatavust loogilisele programmeerimisele (LP). Ülesande püstitus on motiveeritud asjaolust, et mitteprogrammeerijatele on LP keeled arusaadavamad kui teised tuntud programmeerimis- ja skriptikeeled, samas on nende abil võimalik väljendada suurt klassi funktsionaalsusi. LP keeli saab kasutada loogilistel järeldustel põhineva tehisintellekti arendamiseks. Rahvusvaheline teadus on rohkem suunatud imperatiivsetele ja funktsionaalsetele keeltele, samas kui loogiline programmeerimine pole saanud eriti palju tähelepanu. Me arendame tööriista mis teeb turvalise ühisarvutuse rakenduste kirjutamist lihtsamaks neile, kes ei puutu kokku programmeerimisega iga päev. Uuringu põhitehnoloogia on turvaline ühisarvututs. Me kohendame olemasolevad meetodid LP mootorile, mis kaasab optimeerimist ja sobitamist teatud operatsioonidega. Kuigi töö näeb välja praktline, ikkagi vajab see ka põhjalikku teoreetilist uurimist.
This project studies applicability of secure multiparty computation to logic programming (LP). The motivation is that, to non-programmers, LP languages look simpler than other well-known programming and script languages, while still being able to express a large class of useful functionalities. LP languages can be used for implementing artificial intelligence based on logical reasoning. International research is more focused on imperative and functional languages, and privacy of logic programming has not received much attention so far. We develop a tool that makes writing of secure multiparty computation applications easier for those who are not facing with programming every day. The main technology of this study is secure multiparty computation. We will adapt existing methods to LP engine, which involves optimizing and adjusting them to certain operations. Seemingly practical, this project still requires thorough theoretical research.