Սոխակյան, Տիգրան Վահանի

Ինֆորմատիկա

Աշխատությունը նվիրված է անվտանգ երկկողմանի հաշվարկի (Secure Two-Party Computation, 2PC) շրջանակի նախագծման և իրականացման խնդիրներին՝ նպատակ ունենալով ապահովել գաղտնիության պահպանում այն դեպքերում, երբ երկու կողմեր ցանկանում են համատեղ հաշվարկել որևէ ֆունկցիա՝ առանց իրենց մասնավոր տվյալները բացահայտելու։ Հեղինակը վերլուծում է գաղտնիության պահպանող հաշվարկների տեսական հիմքերը՝ ներառյալ գաղտնագրման սխեմաները, գաղտնի բաժանման (secret sharing) մեթոդները և զրոյական գիտելիքի ապացույցների (zero-knowledge proofs) կիրառությունները։ Գրքում դիտարկվում են 2PC արձանագրությունների հիմնական մոտեցումները՝ Yao-ի խճճված սխեման (garbled circuits) և գաղտնի բաժանման վրա հիմնված պրոտոկոլները՝ համեմատելով դրանց արդյունավետությունը, հաշվարկային բարդությունը և հաղորդակցական ծախսերը։ Հատուկ ուշադրություն է դարձվում համակարգի անվտանգությանը՝ չարամիտ (malicious) և կիսահավատ (semi-honest) հակառակորդների մոդելներում, ինչպես նաև սխալների հանդուրժողականության ապահովմանը։ Հեղինակը ներկայացնում է նաև գործնական իրականացում՝ ծրագրային ճարտարապետություն, հաղորդակցման պրոտոկոլներ և օպտիմիզացիոն լուծումներ, որոնք բարձրացնում են համակարգի կիրառելիությունը իրական աշխարհի գաղտնիության պահպանող հավելվածներում՝ առողջապահություն, ֆինանսներ և տվյալների համատեղ վերլուծություն։ Աշխատությունը ընդգծում է գաղտնիության պահպանող հաշվարկների կարևորությունը ժամանակակից թվային անվտանգության և տվյալագիտության ոլորտներում։ Այն օգտակար է կրիպտոգրաֆների, ծրագրավորողների և կիբերանվտանգության մասնագետների համար։