Конфиденциальные и проверяемые вычисления

Развитие компьютерных наук и информационных технологий привело к широкому распространению моделей распределенных и децентрализованных вычислений, где владелец данных передает их для обработки другому участнику, теряя при этом физический контроль над процессом. Это создает риск утраты доверия к обработанным данным, особенно в отношении целостности и конфиденциальности.
Для обеспечения контроля целостности данных разработаны технологии проверяемых вычислений, использующие вероятностные доказательства и криптографические механизмы. При обработке конфиденциальной информации применяются безопасные многосторонние вычисления и гомоморфное шифрование, которые позволяют выполнять алгоритмы обработки данных без риска раскрытия их содержания недоверенному обработчику. Развитие перечисленных технологий относится к приоритетным задачам научной группы.