Vi presenterar ett domänspecifikt programmeringsspråk för Secure Multiparty Computation (SMC). Information är en resurs av avgörande betydelse och ett betydande ekonomiskt värde för enskilda personer, offentlig förvaltning och privata företag. Detta innebär att informationens konfidentialitet är avgörande, men samtidigt kan man ofta uppnå ett betydande värde genom att kombinera konfidentiell information från olika källor. Denna grundläggande konflikt mellan fördelarna med sekretess och fördelarna med informationsutbyte kan övervinnas med hjälp av SMC:s kryptografiska metod där beräkningar utförs på hemliga värden och resultat endast avslöjas i enlighet med specifika protokoll. Vi identifierar de viktigaste språkliga begreppen för SMC och överbryggar klyftan mellan höga säkerhetskrav och kryptografisk verksamhet på låg nivå som utgör en SMC-plattform, vilket förbättrar effektiviteten och säkerheten i SMC-tillämpningarnas utveckling. Språket implementeras i en prototypkompilator som genererar Java-kod som utnyttjar en distribuerad kryptografisk körtid.
SMCL REF är ett språk för säkra beräkningar som omfattar en replikerad klient och en delad "server" som representerar säkra multipartsberäkningar.
A domain-specific programming language for secure multiparty computation
{'venue': "PLAS '07", 'journal': None, 'mag_field_of_study': ['Computer Science']}