指定sharemind的算术黑盒

PETShop '13 Pub Date : 2013-11-04 DOI:10.1145/2517872.2517874

Peeter Laud, A. Pankova, Martin Pettai, Jaak Randmets

{"title":"指定sharemind的算术黑盒","authors":"Peeter Laud, A. Pankova, Martin Pettai, Jaak Randmets","doi":"10.1145/2517872.2517874","DOIUrl":null,"url":null,"abstract":"In this paper, we discuss the design choices and initial experiences with a domain-specific language and its optimizing compiler for specifying protocols for secure computation. We give the rationale of the design, describe the translation steps, the location of the compiler in the whole Sharemind protocol stack, and the results we have obtained with the system.","PeriodicalId":102689,"journal":{"name":"PETShop '13","volume":"31 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2013-11-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"4","resultStr":"{\"title\":\"Specifying sharemind's arithmetic black box\",\"authors\":\"Peeter Laud, A. Pankova, Martin Pettai, Jaak Randmets\",\"doi\":\"10.1145/2517872.2517874\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"In this paper, we discuss the design choices and initial experiences with a domain-specific language and its optimizing compiler for specifying protocols for secure computation. We give the rationale of the design, describe the translation steps, the location of the compiler in the whole Sharemind protocol stack, and the results we have obtained with the system.\",\"PeriodicalId\":102689,\"journal\":{\"name\":\"PETShop '13\",\"volume\":\"31 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2013-11-04\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"4\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"PETShop '13\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1145/2517872.2517874\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"PETShop '13","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1145/2517872.2517874","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 4

摘要

本文讨论了一种领域特定语言及其优化编译器在指定安全计算协议方面的设计选择和初步经验。给出了设计的基本原理，描述了翻译步骤，编译器在整个Sharemind协议栈中的位置，以及我们使用该系统获得的结果。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

Specifying sharemind's arithmetic black box

In this paper, we discuss the design choices and initial experiences with a domain-specific language and its optimizing compiler for specifying protocols for secure computation. We give the rationale of the design, describe the translation steps, the location of the compiler in the whole Sharemind protocol stack, and the results we have obtained with the system.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

PETShop '13

自引率

0.00%

发文量