朱塞佩·阿特尼塞；陈龙；丹尼尔·弗朗卡蒂；帕帕佐普洛斯、迪米特里奥斯；唐强 可验证的容量界限函数：来自Kolmogorov复杂性的一个新原语。（在自适应环境中重新审视天基安全）。 （英语） Zbl 07766977号 Boldyreva，Alexandra（编辑）等人，公开密钥加密-PKC 2023。2023年5月7日至10日，美国佐治亚州亚特兰大，第26届IACR公开密钥加密实践和理论国际会议。诉讼程序。第二部分。查姆：斯普林格。莱克特。注释计算。科学。13941, 63-93 (2023).MSC公司：第68季度30 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{G.Ateniese}等人，Lect。注释计算。科学。13941、63-93（2023；Zbl 07766977） 全文： 内政部
布赖恩·陈；多迪斯，Yevgeniy；埃沙·戈什；Eli Goldin先生；巴拉昌达尔·凯萨万；安东尼奥·马塞多内；牟，快乐的灰烬 可旋转的零知识集。折衷后安全的可审计字典，具有应用到密钥的透明性。 （英语） Zbl 1519.94085号 Agrawal，Shweta（编辑）等人，《密码学进展——亚洲密码2022》。第28届国际密码学和信息安全理论与应用会议，台湾台北，2022年12月5日至9日。诉讼程序。第三部分商会：施普林格。莱克特。注释计算。科学。13793, 547-580 (2023).MSC公司：94A60型 PDF格式BibTeX公司 XML格式引用 \textit{B.Chen}等人，Lect。注释计算。科学。13793、547--580（2023年；Zbl 1519.94085） 全文： 内政部
阿南亚·阿潘；Anirudh Chandramouli；阿什什·乔杜里 重新审视异步MPC的效率，以及对抗一般对手的最佳弹性。 （英语） Zbl 1517.94053号 J.密码学 36，第3号，第16号论文，94页（2023年）.MSC公司：94A60型 94A62型 PDF格式BibTeX公司 XML格式引用 \textit{A.Appan}等人，《密码学杂志》36，第3期，第16号论文，94页（2023年；Zbl 1517.94053） 全文： 内政部
阿什什·乔杜里；阿皮塔·帕特拉 具有最佳弹性的统计安全异步MPC的通信效率。 （英语） Zbl 1511.94078号 J.密码学 36，第2号，第13号论文，87页（2023年）.MSC公司：94A60型 94A62型 68第25页 68M10个 94A05型 PDF格式BibTeX公司 XML格式引用 \textit{A.Choudhury}和\textit{A.Patra}，《密码学》36，第2期，论文编号13，87页（2023；Zbl 1511.94078） 全文： 内政部
萨米兰·巴格；穆罕默德·阿杰马尔·阿扎德；郝，冯 无需计算权限的端到端可核查累积投票。 （英语） Zbl 1521.94025号 国际期刊申请。加密程序。 4，编号2，85-103（2022）.MSC公司：94A60型 PDF格式BibTeX公司 XML格式引用 \textit{S.Bag}等人，国际期刊应用。加密程序。4，编号2，85-103（2022；兹bl 1521.94025） 全文： 内政部
王兴凯；曹振福；刘震；梁凯泰 越轻越好：使用混合同态加密技术，实现更轻的多客户端可验证外包计算。 （英语） Zbl 1524.68049号 Atluri，Vijayalakshmi（编辑）等人，《计算机安全–ESORICS 2022》。第27届欧洲计算机安全研究研讨会，丹麦哥本哈根，2022年9月26日至30日。诉讼程序。第二部分。查姆：斯普林格。莱克特。注释计算。科学。13555, 105-125 (2022).MSC公司：68平方米25 68英里11 68第25页 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{X.Wang}等人，Lect。注释计算。科学。13555、105-125（2022；Zbl 1524.68049） 全文： 内政部 链接
吴娇娇；王建峰；Yong、Xinwei；黄新毅；陈晓峰 新的无界可验证数据流用于批处理查询，开销几乎最优。 （英语） Zbl 1523.68021号 Atluri，Vijayalakshmi（编辑）等人，《计算机安全–ESORICS 2022》。第27届欧洲计算机安全研究研讨会，丹麦哥本哈根，2022年9月26日至30日。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。13554, 346-366 (2022).MSC公司：68平方米25 94A60型 PDF格式BibTeX公司 XML格式引用 \textit｛J.Wu｝等人，Lect。注释计算。科学。13554，346--366（2022；Zbl 1523.68021） 全文： 内政部
Hiroki山村；Hara，Keisuke先生；Tezuka、Masayuki；Yusuke吉田；田中庆介 转发安全邮件邮戳。 （英语） Zbl 07628058号 Park，Jong Hwan（编辑）等人，《信息安全与密码学——ICISC 2021》。第24届国际会议，韩国首尔，2021年12月1日至3日。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。13218, 339-358 (2022).MSC公司：68平方米25 68第25页 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{H.Yamamuro}等人，Lect。注释计算。科学。13218、339--358（2022；Zbl 07628058） 全文： 内政部
伊泰·亚伯拉罕；吉拉德·阿沙罗夫；阿维沙·亚奈 高效、完全安全的计算，具有最佳弹性。 （英语） Zbl 1499.94033号 J.密码学 35，第4号，第27号论文，43页（2022年）.MSC公司：94A60型 94A62型 PDF格式BibTeX公司 XML格式引用 \textit{I.Abraham}等人，《密码学杂志》35，第4期，论文27，43页（2022年；Zbl 1499.9403） 全文： 内政部
刘毅；王琪；姚小明 使私有功能评估更安全、更快、更简单。 （英语） Zbl 1492.94144号 Hanaoka，Goichiro（编辑）等人，公开密钥加密——PKC 2022。2022年3月8日至11日，第25届IACR公开密钥密码学实践和理论国际会议，虚拟事件。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。13177, 349-378 (2022).MSC公司：94A60型 PDF格式BibTeX公司 XML格式引用 \textit{Y.Liu}等人，Lect。注释计算。科学。13177349-378（2022年；兹比尔1492.94144） 全文： 内政部
路易斯·胡格宁·杜米坦；伊拉克利斯列奥蒂亚迪斯 邮件邮戳频道。 （英语） Zbl 1492.94049号 Yu，Yu（编辑）等人，《信息安全与密码学》。第17届国际会议，Inscrypt 2021，虚拟活动，2021年8月12日至14日。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。13007, 111-128 (2021).MSC公司：94A40型 94A60型 94A05型 PDF格式BibTeX公司 XML格式引用 \textit{L.Huguenin-Dumittan}和\textit{I.Leontiadis}，Lect。注释计算。科学。13007111--128（2021年；Zbl 1492.94049） 全文： 内政部
李朝珍；林昌禄；黄，科克 模幂运算的非交互式可验证外包计算方案。 （中文。英文摘要） Zbl 1488.68015号 J.福建省标准。大学，自然科学。 37，第2号，31-38（2021）.MSC公司：68平方米25 68英里11 PDF格式BibTeX公司 XML格式引用 \textit{C.Li}等，《福建省常模》。大学，自然科学。37，编号2，31-38（2021；Zbl 1488.68015） 全文： 内政部
马赫穆顿·纳比；塞皮德·阿维哲；Kumaramangalam、Muni Venkateswarlu；萨法维·奈尼，雷哈内 激励可验证计算系统的博弈分析。 （英语） Zbl 1519.91295号 Braccali，Andrea（编辑）等人，《金融加密和数据安全》。2019年2月18日至22日在圣基茨和尼维斯举行的2019年FC国际研讨会、投票和WTSC，修订了部分论文。查姆：斯普林格。莱克特。注释计算。科学。11599, 50-66 (2020).MSC公司：91克99 64岁以下 68平方米25 94A60型 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{M.Nabi}等人，Lect。注释计算。科学。11599，50-66（2020年；兹比尔1519.91295） 全文： 内政部
陈欣；张良峰 高阶多项式的两服务器可验证同态秘密共享。 （英语） Zbl 1518.68029号 Susilo，Willy（编辑）等人，《信息安全》。第23届国际会议，ISC 2020，印尼巴厘岛，2020年12月16-18日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12472, 75-91 (2020).MSC公司：68平方米25 68第25页 94A60型 94A62型 PDF格式BibTeX公司 XML格式引用 \textit{X.Chen}和\textit{L.F.Zhang}，Lect。注释计算。科学。12472，75-91（2020；Zbl 1518.68029） 全文： 内政部 arXiv公司
蒂博尔·贾格尔；大卫·尼休斯 关于可容许散列函数和有效可验证随机函数的真实世界的可实例化性。 （英语） Zbl 1453.94092号 Paterson，Kenneth G.（编辑）等人，《密码学选定领域——SAC 2019》。第26届国际会议，2019年8月12-16日，加拿大安大略省滑铁卢。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。11959, 303-332 (2020).MSC公司：94A60型 PDF格式BibTeX公司 XML格式引用 \textit{T.Jager}和\textit{D.Niehues}，莱克特。注释计算。科学。11959303--332（2020年；Zbl 1453.94092） 全文： 内政部
张忠军；王建峰；王云玲；苏亚萍；陈晓峰 实现高效可验证的前向安全可搜索对称加密。 （英语） 兹比尔1496.68133 Sako，Kazue（编辑）等人，《计算机安全–ESORICS 2019》。第24届欧洲计算机安全研究研讨会，卢森堡，2019年9月23日至27日。诉讼程序。第二部分。查姆：斯普林格。莱克特。注释计算。科学。11736, 304-321 (2019).MSC公司：68第25页 68第05页 68页第10页 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{Z.Zhang}等人，Lect。注释计算。科学。11736、304--321（2019年；Zbl 1496.68133） 全文： 内政部
李松泽；萨伊德·萨拉伊；于明超；萨勒曼·阿维斯特梅尔；斯雷拉姆·坎南；普拉莫德·维斯瓦纳特 编码状态机–在拜占庭故障下缩放状态机执行。 （英语） Zbl 07298667号 Nowak，Thomas（编辑），第38届ACM分布式计算原理研讨会论文集，PODC’19，加拿大安大略省多伦多，2019年7月29日至8月2日。纽约州纽约市：计算机协会（ACM）。150-152 (2019).MSC公司：64岁以下 68宽15 PDF格式BibTeX公司 XML格式引用 \textit{S.Li}等人，in：第38届ACM分布式计算原理研讨会论文集，PODC’19，加拿大安大略省多伦多，2019年7月29日至8月2日。纽约州纽约市：计算机协会（ACM）。150-152（2019年；Zbl 07298667） 全文： 内政部 arXiv公司
夏哲；刘以宁；徐庆芳；Chang，Chin-Chen先生 基于对称二元多项式的信息理论安全电子彩票方案。 （英语） Zbl 1423.94135号 对称性 11，第1号，第88号论文，第12页（2019年）.MSC公司：94A62型 05年5月5日 PDF格式BibTeX公司 XML格式引用 \textit{Z.Xia}等人，Symmetry 11，No.1，论文编号88，12 p.（2019年；Zbl 1423.94135） 全文： 内政部
乌兹别克斯坦；乔蒂·兰加萨米；拉克希米·库普萨米 隐藏模数：一种安全的非交互式完全可验证的委托方案，用于通过CRT进行模块化指数化。 （英语） Zbl 1517.94160号 陈立群（编辑）等，《信息安全》。2018年9月9日至12日在英国吉尔福德举行的2018年ISC第21届国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11060, 250-267 (2018).MSC公司：94A60型 68英里11 PDF格式BibTeX公司 XML格式引用 \textit｛O.Uzunkol｝等人，Lect。注释计算。科学。11060、250-267（2018年；Zbl 1517.94160） 全文： 内政部
王建峰；陈晓峰；孙世峰；Liu，Joseph K。；Au，Man Ho先生；詹志辉 面向大型加密数据库的高效可验证连接关键字搜索。 （英语） Zbl 1496.68130号 Lopez，Javier（编辑）等人，《计算机安全》。第23届欧洲计算机安全研究研讨会，2018年ESORICS，西班牙巴塞罗那，2018年9月3-7日。诉讼程序。第二部分。查姆：斯普林格。莱克特。注释计算。科学。11099, 83-100 (2018).MSC公司：第68页，共15页 68平方米25 68第25页 PDF格式BibTeX公司 XML格式引用 \textit{J.Wang}等人，Lect。注释计算。科学。11099，83-100（2018年；兹比尔1496.68130） 全文： 内政部
朱利安·基弗；雷迪克·莫尔瓦；埃尔维·查巴内 用于可验证计算的有效证明组合。 （英语） Zbl 1496.68067号 Lopez，Javier（编辑）等人，《计算机安全》。第23届欧洲计算机安全研究研讨会，2018年ESORICS，西班牙巴塞罗那，2018年9月3-7日。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。11098, 152-171 (2018).MSC公司：68平方米25 68T05型 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{J.Keuffer}等人，莱克特。注释计算。科学。11098、152--171（2018；Zbl 1496.68067） 全文： 内政部
谭振华；杨光明；王兴伟；程伟；宁、靖宇 基于多维球体的云存储门限秘密共享方案。 （中文。英文摘要） Zbl 1374.68176号 J.软件。 27，第11号，2912-2928（2016）.MSC公司：68第20页 68第25页 94A62型 PDF格式BibTeX公司 XML格式引用 \textit{Z.Tan}等人，J.Softw。27，第11号，2912--2928（2016；Zbl 1374.68176） 全文： 内政部
弗拉基米尔·科列斯尼科夫；亚历克斯·J·马洛泽莫夫。 秘密模型中的公开可验证性（几乎）是免费的。 （英语） Zbl 1375.94140号 岩田，Tetsu（编辑）等，《密码学进展——2015年亚洲密码》。2015年11月29日至12月3日在新西兰奥克兰举行的第21届密码学和信息安全理论与应用国际会议。诉讼程序。第二部分。柏林：施普林格出版社（ISBN 978-3-662-48799-0/pbk；978-3-562-48800-3/电子书）。计算机科学课堂讲稿9453210-235（2015）。MSC公司：94A60型 PDF格式BibTeX公司 XML格式引用 \textit{V.Kolesnikov}和\textit{A.J.Malozemoff}，莱克特。注释计算。科学。9453、210-235（2015年；Zbl 1375.94140） 全文： 内政部
徐刚；George T.Amariucai。；关、勇 降低信息成本和计算成本的可验证计算。 （英语） Zbl 1477.68066号 Kutyłowski、Miros \322»aw（编辑）等人，《计算机安全–ESORICS 2014》。2014年9月7日至11日，波兰Wrocław，第19届欧洲计算机安全研究研讨会。会议记录，第一部分，柏林：施普林格。莱克特。注释计算。科学。8712, 292-309 (2014).MSC公司：68平方米25 68英里11 68第27页 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{G.Xu}等人，Lect。注释计算。科学。871292-309（2014年；兹比尔1477.68066） 全文： 内政部
赖俊佐；罗伯特·H·邓。；Hweewwa庞；翁，Jian 外包加密数据的可验证计算。 （英语） Zbl 1477.68059号 Kutyłowski、Miros \322»aw（编辑）等人，《计算机安全–ESORICS 2014》。2014年9月7日至11日，波兰Wrocław，第19届欧洲计算机安全研究研讨会。会议记录，第一部分，柏林：施普林格。莱克特。注释计算。科学。8712, 273-291 (2014).MSC公司：68平方米25 68英里11 68第25页 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{J.Lai}等人，Lect。注释计算。科学。8712、273--291（2014年；Zbl 1477.68059） 全文： 内政部 链接
陈晓峰；李、金；翁，Jian；马建峰；楼文静 使用增量更新对大型数据库进行可验证计算。 （英语） Zbl 1477.68089号 Kutyłowski、Miros \322»aw（编辑）等人，《计算机安全–ESORICS 2014》。2014年9月7日至11日，波兰Wrocław，第19届欧洲计算机安全研究研讨会。会议记录，第一部分，柏林：施普林格。莱克特。注释计算。科学。8712, 148-162 (2014).MSC公司：第68页，共15页 68平方米25 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{X.Chen}等人，Lect。注释计算。科学。8712148-162（2014年；兹比尔1477.68089） 全文： 内政部
马修·富兰克林；张海滨 独特的环签名：实用的结构。 （英语） Zbl 1524.94081号 Ahmad-Reza Sadeghi（编辑），《金融加密和数据安全》。2013年4月1日至5日，第17届国际会议，FC 2013，日本冲绳。修订了选定的论文。柏林：斯普林格。莱克特。注释计算。科学。7859, 162-170 (2013).MSC公司：94A62型 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{M.Franklin}和\textit{H.Zhang}，Lect。注释计算。科学。7859、162-170（2013年；Zbl 1524.94081） 全文： 内政部
Ye、Jun；丁勇；刘以宁 基于可验证随机数的前向和后向安全组签名方案。 （中文。英文摘要） Zbl 1265.94075号 兰州理工大学。 37，第1号，86-90（2011）.MSC公司：94A62型 PDF格式BibTeX公司 XML格式引用 \textit{J.Ye}等人，J.兰州理工大学。37，第1号，86-90（2011年；兹bl 1265.94075）
吉尔·巴特；费德里科·奥利梅多；贝盖林，圣地亚哥·扎内拉 基于Boneh-Franklin身份加密的可验证安全性。 （英语） Zbl 1298.94079号 Boyen，Xavier（编辑）等人，《可证明安全性》。2011年10月16日至18日，第五届国际会议，ProvSec 2011，中国西安。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-24315-8/pbk）。计算机科学课堂讲稿6980，68-83（2011）。MSC公司：94A60型 PDF格式BibTeX公司 XML格式引用 \textit{G.Barthe}等人，Lect。注释计算。科学。6980，68-83（2011；Zbl 1298.94079） 全文： 内政部
吉尔·巴特；本杰明·格雷戈里；西尔万·赫劳德；贝盖林，圣地亚哥·扎内拉 为工作密码学家提供的计算机辅助安全证明。 （英语） Zbl 1287.94048号 Phillip Rogaway（编辑），《密码学进展——密码2011》。2011年8月14日至18日，第31届年度密码学会议，美国加利福尼亚州圣巴巴拉。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-22791-2/pbk）。计算机科学课堂讲稿6841，71-90（2011）。MSC公司：94A60型 68第25页 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{G.Barthe}等人，Lect。注释计算。科学。6841、71-90（2011年；Zbl 1287.94048） 全文： 内政部
科尼奥（Christian L.F.Corniaux）。；侯赛因·戈多西 一种可验证的分布式不经意传输协议。 （英语） Zbl 1295.94042号 Parampalli，Udaya（编辑）等人，《信息安全与隐私》。2011年7月11日至13日，澳大利亚墨尔本，第16届澳大拉西亚会议，ACISP 2011。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-22496-6/pbk）。计算机科学课堂讲稿6812，444-450（2011）。MSC公司：94A60型 94A62型 PDF格式BibTeX公司 XML格式引用 \textit｛C.L.F.Cornaux｝和\textit｛H.Ghodosi｝，Lect。注释计算。科学。6812、444--450（2011年；Zbl 1295.94042） 全文： 内政部
阮、兰；萨法维·奈尼（Safavi-Naini，Rei）；高茹黑泽明 可验证洗牌：一个正式模型和基于Paillier的三轮构造，具有可证明的安全性。 （英语） Zbl 1209.94046号 国际期刊信息安全。5，第4期，241-255（2006）。MSC公司：94A60型 PDF格式BibTeX公司 XML格式 全文： 内政部
康斯坦丁·波佩斯库 改进了Atenies的可验证加密协议。 （英语） 兹比尔1096.94527 维尔纽斯Informatica 16，第1期，121-130（2005）.MSC公司：94A60型 68第25页 94A62型 PDF格式BibTeX公司 XML格式引用 \textit{C.Popescu}，Informatica，维尔纽斯16，No.1，121--130（2005；Zbl 1096.94527）
阮、兰；萨法维·奈尼；高茹黑泽明 可验证洗牌：一个形式化模型和基于Paillier的高效构造，具有可证明的安全性。 （英语） Zbl 1103.68533号 Jakobsson，Markus（编辑）等人，《应用密码学和网络安全》。第二届国际会议，2004年ACNS，中国黄山，2004年6月8-11日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-22217-0/pbk）。计算机科学课堂讲稿308961-75（2004）。MSC公司：68第25页 94A60型 94A62型 PDF格式BibTeX公司 XML格式引用 \textit{L.Nguyen}等人，Lect。注释计算。科学。3089、61-75（2004年；Zbl 1103.68533） 全文： 内政部
文茨拉夫·尼科夫；斯维特拉·尼科娃；巴特·普雷内尔 来自任何线性秘密共享方案的多方计算对自适应对手无条件安全：零错误情况。 （英语） Zbl 1131.68451号 周建英（编辑）等，《应用密码学与网络安全》。2003年10月16日至19日，中国昆明，首届国际会议，ACNS 2003。诉讼程序。柏林：施普林格出版社（ISBN 3-540-20208-0/pbk）。莱克特。注释计算。科学。2846, 1-15 (2003).MSC公司：68第25页 94A60型 94A62型 PDF格式BibTeX公司 XML格式引用 \textit{V.Nikov}等人，Lect。注释计算。科学。2846，1--15（2003年；Zbl 1131.68451） 全文： 内政部