@第{zbMATH06838879条，作者={B{\“u}scher，Niklas and Franz，Martin and Holzer，Andreas and Veith，Helmut and Katzenbeisser，Stefan}，Title={关于编译为安全多方计算优化的{布尔}电路}，FJournal={系统设计中的形式化方法}，日志={Form.Methods系统设计}，ISSN={0925-9856}，体积={51}，数字={2}，页码={308--331}，年份={2017年}，语言={英语}，DOI={10.1007/s10703-017-0300-0}，关键词={68M14,68N20,68P25,94C10}，zbMATH={6838879}，Zbl={1386.68020}}