安妮·布罗德本特;马尔蒂·卡沃宁 分类可组合加密:扩展版本。 (英语) Zbl 07789002号 日志。方法计算。科学。 19,第4号,第30号论文,46页(2023年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{A.Broadbent}和\textit{M.Karvonen},Log。方法计算。科学。19,第4号,第30号论文,46页(2023;Zbl 07789002) 全文: 内政部 arXiv公司 OA许可证
安妮·布罗德本特;马尔蒂·卡沃宁 分类可组合加密。 (英语) Zbl 07793028号 Bouyer,Patricia(编辑)等人,《软件科学和计算结构基础》。第25届国际会议FOSSACS 2022,作为欧洲软件理论与实践联合会议ETAPS 2022的一部分,于2022年4月2日至7日在德国慕尼黑举行。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13242, 161-183 (2022).MSC公司:68新元 第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Broadbent}和\textit{M.Karvonen},莱克特。注释计算。科学。13242161-183(2022年;兹bl 07793028) 全文: 内政部 arXiv公司 OA许可证