×

找到247个文档（结果1-100）

最新的 引文 关联
安泰云;季原·夸克;Kim，Seungjoo先生

mdTLS：如何使中间件TLS更有效？ （英语） Zbl 07857824号

Seo，Hwajeong（编辑）等人，《信息安全与密码学——ICISC 2023》。第26届信息安全和密码学国际会议，ICISC 2023，韩国首尔，2023年11月29日至12月1日。修改选定的论文。第二部分。新加坡：斯普林格。莱克特。注释计算。科学。14562, 39-59 (2024).
MSC公司：68平方米25 68第25页 94A60型
PDF格式BibTeX公司 XML格式引用
\textit｛T.Ahn｝等人，Lect。注释计算。科学。14562，39-59（2024；Zbl 07857824）
全文： 内政部 arXiv公司
大卫·乔姆;马里奥·拉兰吉拉;马里奥·雅克塞提格

可调整的\（\mathcal{宋体}_{\text{leeve}}）：一部小说{宋体}_{\text{leeve}}\）基于可调整哈希函数的构造。 （英语） Zbl 1534.91180号

Pardalos，Panos（编辑）等人，区块链经济的数学研究。2022年7月12日至14日，第三届MARBLE 2022国际会议，葡萄牙维拉莫拉。查姆：斯普林格。莱克特。注释操作。第169-186号决议（2023年）。
MSC公司：91G99型 94A62型
PDF格式BibTeX公司 XML格式引用
\textit{D.Chaum}等人，in：区块链经济的数学研究。2022年7月12日至14日，第三届MARBLE 2022国际会议，葡萄牙维拉莫拉。查姆：斯普林格。169-186（2023年；Zbl 1534.91180）
全文： 内政部
詹姆斯·巴图塞克;达克希塔·库拉纳

已认证删除的加密。 （英语） Zbl 1532.94031号

Handschuh，Helena（编辑）等人，《密码学进展——密码2023》。第43届年度国际密码学会议，2023年8月20日至24日，美国加利福尼亚州圣巴巴拉市，CRYPTO 2023。诉讼程序。第五部分查姆：施普林格。莱克特。注释计算。科学。14085, 192-223 (2023).
MSC公司：94A60型 94甲15 68第25页 68N20型 81页94
PDF格式BibTeX公司 XML格式引用
\textit｛J.Bartusek｝和\textit｛D.Khurana｝，Lect。注释计算。科学。14085，192-223（2023；Zbl 1532.94031）
全文： 内政部 arXiv公司
朱塞佩·佩西亚诺;Yeo，Kevin是的

抗破坏和快照不经意RAM的限制。 （英语） Zbl 1532.94058号

Handschuh，Helena（编辑）等人，《密码学进展——密码2023》。第43届年度国际密码学会议，2023年8月20日至24日，美国加利福尼亚州圣巴巴拉市，CRYPTO 2023。诉讼程序。第四部分查姆：斯普林格。莱克特。注释计算。科学。14084, 161-196 (2023).
MSC公司：94A60型 68第25页 68第05页
PDF格式BibTeX公司 XML格式引用
\textit{G.Persiano}和\textit{K.Yeo}，莱克特。注释计算。科学。14084、161--196（2023年；Zbl 1532.94058）
全文： 内政部
阿米特·阿加瓦尔;詹姆斯·巴图塞克;达克希塔·库拉纳;尼尚·库马尔

量子不经意传输的新框架。 （英语） Zbl 07789166号

Hazay，Carmit（编辑）等人，《密码学进展–EUROCRYPT 2023》。第42届密码技术理论与应用国际年会，法国里昂，2023年4月23日至27日。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。14004, 363-394 (2023).
MSC公司：81页94 94A60型 81页第45页 第81页，共15页 78A37飞机 2005年6月2日 81问题65 81页40页 第81页第17页
PDF格式BibTeX公司 XML格式引用
\textit{A.Agarwal}等人，Lect。注释计算。科学。14004，363--394（2023；Zbl 07789166）
全文： 内政部 arXiv公司
Hind伊德里西;穆罕默德·恩纳巴乌伊

增强的匿名ECC身份验证，用于TMIS中的轻量级应用程序。 （英语） Zbl 1522.94104号

El Hajji，Said（编辑）等人，《代码、密码学和信息安全》。第四届国际会议，C2SI 2023，摩洛哥拉巴特，2023年5月29日至31日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13874, 290-320 (2023).
MSC公司：94A62型 94A60型 68个M12
PDF格式BibTeX公司 XML格式引用
\textit{H.Idrissi}和\textit{M.Ennahbaoui}，莱克特。注释计算。科学。13874290-320（2023年；Zbl 1522.94104）
全文： 内政部
Chaum，大卫;马里奥·拉兰吉拉;马里奥·雅克塞提格

WOTSwana：广义的\（\mathcal{宋体}_{\mathrm{leeve}}）多重所有权证明的构造。 （英语） 兹伯利07730591

Seo，Seung-Hyun（编辑）等人，《信息安全与密码学——ICISC 2022》。2022年11月30日至12月2日在韩国首尔举行的第25届ICISC 2022国际会议。修改选定的论文。查姆：斯普林格。莱克特。注释计算。科学。13849, 491-511 (2023).
MSC公司：68平方米25 68第25页 94A60型
PDF格式BibTeX公司 XML格式引用
\textit{D.Chaum}等人，Lect。注释计算。科学。13849、491--511（2023；Zbl 07730591）
全文： 内政部
严、军

量子比特承诺的一般属性（扩展抽象）。 （英语） Zbl 1529.81062号

Agrawal，Shweta（编辑）等人，《密码学进展——亚洲密码2022》。第28届国际密码学和信息安全理论与应用会议，台湾台北，2022年12月5日至9日。诉讼程序。第四部分查姆：斯普林格。莱克特。注释计算。科学。13794, 628-657 (2023).
MSC公司：81页94 94A60型
PDF格式BibTeX公司 XML格式引用
\textit{J.Yan}，莱克特。注释计算。科学。13794、628--657（2023年；Zbl 1529.81062）
全文： 内政部
纳迪亚·埃尔·姆拉贝特;加曼，卢布纳;尼古拉斯·梅洛尼;伊曼纽尔·福奥萨

Miller-loop的新版本可防止副通道攻击。 （英语） Zbl 1534.94086号

Mesnager，Sihem（编辑）等人，《有限域的算术》。2022年8月29日至9月2日，第九届WAIFI 2022国际研讨会，中国成都。修改选定的论文。查姆：斯普林格。莱克特。注释计算。科学。13638, 269-287 (2023).
MSC公司：94A60型 94A40型 11T71型 11A67号 11层39
PDF格式BibTeX公司 XML格式引用
\textit{N.El Mrabet}等人，Lect。注释计算。科学。13638269-287（2023年；兹比尔1534.94086）
全文： 内政部 哈尔
布鲁诺·布兰切特

安全协议验证器ProVerif及其Horn子句解析算法。 （英语） Zbl 07806140号

Hamilton，Geoffrey W.（ed.）等人，《验证与合成用Horn条款第九次研讨会和验证与程序转换第十次国际研讨会会议记录》，HCVS/VPT 2022，德国慕尼黑，2022年4月3日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）373，14-22（2022）。
MSC公司：68倍 94-XX年
PDF格式BibTeX公司 XML格式引用
\textit{B.Blanchet}，电子。程序。西奥。计算。科学。（EPTCS）373，14--22（2022；Zbl 07806140）
全文： arXiv公司 链接
朱利安·瓦内格

对抗逻辑。 （英语） Zbl 1524.68105号

Singh，Gagandeep（编辑）等人，《静态分析》。第29届国际研讨会，SAS 2022，新西兰奥克兰，2022年12月5-7日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13790, 422-448 (2022).
MSC公司：68号30 03B70号 94A60型
PDF格式BibTeX公司 XML格式引用
\textit{J.Vanegue}，莱克特。注释计算。科学。13790422--448（2022年；Zbl 1524.68105）
全文： 内政部
维普尔·戈亚尔;尤瓦尔·伊斯海;宋一凡

安全多方计算的随机复杂性的严格界限。 （英语） Zbl 1517.94104号

Dodis，Yevgeniy（编辑）等人，《密码学进展——密码2022》。第42届国际密码学年会，2022年8月15日至18日，美国加利福尼亚州圣巴巴拉市，CRYPTO 2022。诉讼程序。第四部分查姆：斯普林格。莱克特。注释计算。科学。13510, 483-513 (2022).
MSC公司：94A60型 94甲15 68第25页 64岁以下 68个M12 94D10号
PDF格式BibTeX公司 XML格式引用
\textit{V.Goyal}等人，Lect。注释计算。科学。13510483-513（2022年；Zbl 1517.94104）
全文： 内政部
森美（Tomoyuki Morimae）;山川，高石

没有单向函数的量子承诺和签名。 （英语） Zbl 1523.81055号

Dodis，Yevgeniy（编辑）等人，《密码学进展——密码2022》。第42届国际密码学年会，2022年8月15日至18日，美国加利福尼亚州圣巴巴拉市，CRYPTO 2022。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。13507, 269-295 (2022).
MSC公司：81页94 94A60型 94A62型
PDF格式BibTeX公司 XML格式引用
\textit{T.Morimae}和\textit{T.Yamakawa}，莱克托。注释计算。科学。13507，269--295（2022；Zbl 1523.81055）
全文： 内政部 arXiv公司
卢詹·汉兹利克;卡米尔·克鲁茨尼亚克

可解释的论点。 （英语） Zbl 1514.94095号

Eyal，Ittay（编辑）等人，《金融加密和数据安全》。第26届国际会议，2022年5月2日至6日，格林纳达，FC 2022。修改选定的论文。查姆：斯普林格。莱克特。注释计算。科学。13411, 59-79 (2022).
MSC公司：94A60型
PDF格式BibTeX公司 XML格式引用
\textit｛L.Hanzlik｝和\textit｛K.Kluczniak｝，Lect。注释计算。科学。13411，59--79（2022；Zbl 1514.94095）
全文： 内政部
桥本圭太郎;Katsumata，水池;克里斯·奎亚特科夫斯基;托马斯·普雷斯特

一种有效且通用的信号握手（X3DH）结构：后量子、状态泄漏安全且可否认。 （英语） Zbl 1487.94120号

J.密码学 35，第3号，第17号论文，78页（2022年）.
MSC公司：94A60型 94A62型 81页94
PDF格式BibTeX公司 XML格式引用
\textit｛K.Hashimoto｝等人，《密码学杂志》35，第3期，第17号论文，78页（2022；Zbl 1487.94120）
全文： 内政部
乔·阿尔文;贝内迪克特·奥尔巴赫;米尔扎·阿哈德·拜格;米盖尔·库托·诺瓦尔;凯伦·克莱恩;吉列尔莫·帕斯库尔·佩雷斯;彼得扎克（Pietrzak，Krzysztof）;迈克尔·沃尔特

嫁接密钥树：对重叠组进行有效的密钥管理。 （英语） Zbl 1511.94042号

Nissim，Kobbi（编辑）等人，《密码学理论》。第19届国际会议，TCC 2021，罗利，北卡罗来纳州，美国，2021年11月8-11日。诉讼程序。第三部分查姆：斯普林格。莱克特。注释计算。科学。13044, 222-253 (2021).
MSC公司：94A60型
PDF格式BibTeX公司 XML格式引用
\textit{J.Alwen}等人，Lect。注释计算。科学。13044，222--253（2021；Zbl 1511.94042）
全文： 内政部
亚历山大·宾斯托克;多迪斯，Yevgeniy;Yeo，Kevin是的

转发秘密加密RAM：下限和应用程序。 （英语） Zbl 1511.94171号

Nissim，Kobbi（编辑）等人，《密码学理论》。第19届国际会议，TCC 2021，罗利，北卡罗来纳州，美国，2021年11月8-11日。诉讼程序。第三部分查姆：斯普林格。莱克特。注释计算。科学。13044, 62-93 (2021).
MSC公司：94A62型 94A60型
PDF格式BibTeX公司 XML格式引用
\textit{A.Bienstock}等人，Lect。注释计算。科学。13044，62-93（2021；Zbl 1511.94171）
全文： 内政部
达斯科·巴甫洛维奇

协议模型的概率注释。献给约书亚·古特曼。 （英语） Zbl 1498.68056号

Daniel Dougherty（编辑）等人，《协议、链和逻辑》。在约书亚·古特曼66.66岁生日之际，为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。13066, 332-347 (2021).
MSC公司：68平方米25 03B70号 94A60型
PDF格式BibTeX公司 XML格式引用
\textit{D.巴甫洛维奇}，莱克特。注释计算。科学。13066、332--347（2021；Zbl 1498.68056）
全文： 内政部 arXiv公司
里卡多·福卡尔迪;弗拉米尼娅·卢西奥。

在串空间中保护密钥管理策略。 （英语） Zbl 1498.94060号

Daniel Dougherty（编辑）等人，《协议、链和逻辑》。在约书亚·古特曼66.66岁生日之际，为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。13066, 175-197 (2021).
MSC公司：94A60型 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{R.Focardi}和\textit{F.L.Luccio}，莱克特。注释计算。科学。13066，175--197（2021；Zbl 1498.94060）
全文： 内政部
亚历山德罗·布鲁尼;马尔科·卡博尼;罗萨里奥·朱斯托利西;塞巴斯蒂安·莫德谢姆;卡斯滕·舒尔曼

安全协议作为舞蹈。 （英语） Zbl 1499.94036号

Daniel Dougherty（编辑）等人，《协议、链和逻辑》。在约书亚·古特曼66.66岁生日之际，为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。13066, 98-111 (2021).
MSC公司：94A60型 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{A.Bruni}等人，Lect。注释计算。科学。13066，98-111（2021；Zbl 1499.94036）
全文： 内政部 链接
卡尔蒂基扬·巴尔干;阿比舍克省比什哈瓦特;Quoc Huy Do公司;佩德拉姆·霍塞尼;拉尔夫·库斯特斯;吉多·施密茨;蒂姆·沃特尔

（\mathsf{DY}^{star}\）的辅导式介绍。 （英语） 兹比尔1498.94055

Daniel Dougherty（编辑）等人，《协议、链和逻辑》。在约书亚·古特曼66.66岁生日之际，为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。13066, 77-97 (2021).
MSC公司：94A60型 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{K.Bhargavan}等人，Lect。注释计算。科学。13066，77--97（2021；Zbl 1498.94055）
全文： 内政部
伊格纳西奥·德尔加多·洛扎诺（Ignacio M.Delgado-Lozano）。;马丁内斯·罗德里格斯，Macarena C。;亚历山大·巴卡斯;比利·鲍勃·布鲁姆利;安东尼斯·米查拉斯

认证波：通过远程功率分析的平台信任。 （英语） Zbl 1498.68052号

Conti，Mauro（编辑）等人，《密码学和网络安全》。第20届国际会议，CANS 2021，奥地利维也纳，2021年12月13日至15日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13099, 460-482 (2021).
MSC公司：68平方米25 68个M12 94A62型
PDF格式BibTeX公司 XML格式引用
\文本{I.M.Delgado-Lozano}等人，Lect。注释计算。科学。13099460-482（2021年；兹bl 1498.68052）
全文： 内政部 arXiv公司
凯瑟琳·梅多斯

在计算声音上移动条形图。 （英语） Zbl 1499.94048号

Bertino，Elisa（编辑）等人，《计算机安全–ESORICS 2021》。第26届欧洲计算机安全研究研讨会，德国达姆施塔特，2021年10月4日至8日。诉讼程序。第二部分。查姆：斯普林格。莱克特。注释计算。科学。12973, 275-295 (2021).
MSC公司：94A60型
PDF格式BibTeX公司 XML格式引用
\textit{C.Meadows}，莱克特。注释计算。科学。12973、275——295（2021年；Zbl 1499.94048）
全文： 内政部
马西莫·巴托莱蒂;蒋新宇;阿尔贝托·卢奇·拉富恩特

SoK：分散金融中的贷款池。 （英语） Zbl 1492.91443号

Bernhard，Matthew（编辑）等人，《金融加密和数据安全》。FC 2021国际研讨会。Codecfin、DeFi、VOTING和WTSC，虚拟活动，2021年3月5日。修改选定的论文。柏林：斯普林格。莱克特。注释计算。科学。12676, 553-578 (2021).
MSC公司：91G99型 94A60型
PDF格式BibTeX公司 XML格式引用
\textit{M.Bartoletti}等人，Lect。注释计算。科学。12676、553--578（2021年；Zbl 1492.91443）
全文： 内政部 arXiv公司
伊兰·科马尔戈德斯基;林伟凯

遗忘RAM的对数下界（对于所有参数）。 （英语） Zbl 1489.94102号

Malkin，Tal（编辑）等人，《密码学进展-密码2021》。第41届国际密码学年会，2021年8月16日至20日，CRYPTO 2021，虚拟事件。诉讼程序。第四部分查姆：斯普林格。莱克特。注释计算。科学。12828, 579-609 (2021).
MSC公司：94A60型 04年第68季度 2010年第68季度 68第25页
PDF格式BibTeX公司 XML格式引用
\textit｛I.Komargodski｝和\textit｛W.-K.Lin｝，Lect。注释计算。科学。12828579--609（2021年；Zbl 1489.94102）
全文： 内政部
曼纽尔·巴博萨;亚历山大·博尔德雷瓦;陈珊;沃林斯基，博格丹

FIDO2的可证明安全性分析。 （英语） Zbl 07512097号

Malkin，Tal（编辑）等人，《密码学进展-密码2021》。第41届国际密码学年会，2021年8月16日至20日，CRYPTO 2021，虚拟事件。诉讼程序。第三部分查姆：斯普林格。莱克特。注释计算。科学。12827, 125-156 (2021).
MSC公司：68第25页 6800万 94A60型
PDF格式BibTeX公司 XML格式引用
\textit{M.Barbosa}等人，Lect。注释计算。科学。12827、125-156（2021；Zbl 07512097）
全文： 内政部
丹尼尔·埃斯科德罗;爱德华多·索里亚·瓦兹克斯

非交换环上的高效信息理论多方计算。 （英语） Zbl 1486.94149号

Malkin，Tal（编辑）等人，《密码学进展-密码2021》。第41届国际密码学年会，2021年8月16日至20日，CRYPTO 2021，虚拟事件。诉讼程序。第二部分。查姆：斯普林格。莱克特。注释计算。科学。12826, 335-364 (2021).
MSC公司：94A62型 94A60型 94B05型
PDF格式BibTeX公司 XML格式引用
\textit{D.Escudero}和\textit{E.Soria-Vazquez}，莱克特。注释计算。科学。12826、335--364（2021；Zbl 1486.94149）
全文： 内政部
詹姆斯·巴图塞克;安德烈亚·科拉丹格罗;达克希塔·库拉纳;妈妈，费米

单向函数意味着量子世界中的安全计算。 （英语） Zbl 1487.81036号

Malkin，Tal（编辑）等人，《密码学进展-密码2021》。第41届国际密码学年会，2021年8月16日至20日，CRYPTO 2021，虚拟事件。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。12825, 467-496 (2021).
MSC公司：81页68 81页94 81页70 94A60型 68平方米25
PDF格式BibTeX公司 XML格式引用
\textit{J.Bartusek}等人，Lect。注释计算。科学。12825467--496（2021年；Zbl 1487.81036）
全文： 内政部 arXiv公司
谢尔盖夫（Igor S.Sergeev）。

关于阈值对称布尔函数单调电路的复杂性。 （英语。俄文原件） 兹比尔1484.94040

离散数学。申请。 31，编号5，345-366（2021）; 从Diskretn翻译。材料32，第1号，81-109（2020年）。
MSC公司：94C11号机组 94D10号
PDF格式BibTeX公司 XML格式引用
\textit{I.S.Sergeev}，离散数学。申请。31，编号5，345--366（2021；Zbl 1484.94040）；从Diskretn翻译。材料32，编号1，81--109（2020）
全文： 内政部
桥本圭太郎;Katsumata，水池;克里斯·奎亚特科夫斯基;托马斯·普雷斯特

信号握手（X3DH）的高效通用构造：量子后、状态泄漏安全和可否认。 （英语） Zbl 1514.94096号

Juan A.Garay（编辑），公开密钥加密——PKC 2021。2021年5月10日至13日，第24届IACR公开密钥密码学实践和理论国际会议，虚拟活动。诉讼程序。第二部分。查姆：斯普林格。莱克特。注释计算。科学。12711, 410-440 (2021).
MSC公司：94A60型
PDF格式BibTeX公司 XML格式引用
\textit{K.Hashimoto}等人，Lect。注释计算。科学。12711、410——440（2021年；Zbl 1514.94096）
全文： 内政部
亚历克斯·B·格里洛。;林慧嘉;宋芳;维诺德·瓦昆塔坦

MiniQCrypt中存在不经意传输。 （英语） Zbl 1479.94182号

Canteaut，Anne（编辑）等人，《密码学进展–EUROCRYPT 2021》。第40届密码技术理论与应用国际年会，克罗地亚萨格勒布，2021年10月17日至21日。诉讼程序。第二部分。查姆：斯普林格。莱克特。注释计算。科学。12697, 531-561 (2021).
MSC公司：94A60型 81页第45页 81页94
PDF格式BibTeX公司 XML格式引用
\textit{A.B.Grilo}等人，Lect。注释计算。科学。12697、531--561（2021；Zbl 1479.94182）
全文： 内政部 arXiv公司
萨瓦·帕特尔;朱塞佩·佩西亚诺;Yeo，Kevin是的

泄漏单元探测模型中加密多映射和可搜索加密的下限。 （英语） Zbl 1503.94042号

Micciancio，Daniele（编辑）等人，《密码学进展——密码2020》。第40届国际密码学年会，2020年8月17日至21日，美国加利福尼亚州圣巴巴拉，CRYPTO 2020。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。12170, 433-463 (2020).
MSC公司：94A60型
PDF格式BibTeX公司 XML格式引用
\textit{S.Patel}等人，Lect。注释计算。科学。12170433-463（2020年；Zbl 1503.94042）
全文： 内政部
阿布拉涅尔·杜塔;亚伦·哈钦森;卡拉比纳，科雷

将有符号非零位和有符号对齐列方法扩展到用于密码学的通用基。 （英语） Zbl 1492.94094号

Bhargavan，Karthikeyan（编辑）等人，《密码学进展——INDOCRYPT 2020》。2020年12月13-16日在印度班加罗尔举行的第21届国际密码学会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12578, 248-270 (2020).
MSC公司：94A60型 14G50型 14H52型
PDF格式BibTeX公司 XML格式引用
\textit{A.Dutta}等人，Lect。注释计算。科学。12578、248--270（2020；Zbl 1492.94094）
全文： 内政部
克雷格·科斯特洛;帕特里克·隆加;迈克尔·奈赫里格;乔斯特·雷内斯;费尔南多·维迪亚

在实践中改进了SIKE的经典密码分析。 （英语） Zbl 1481.94093号

Kiayias，Aggelos（编辑）等人，《公钥密码——PKC 2020》。第23届IACR公钥密码学实践与理论国际会议，2020年5月4日至7日，英国爱丁堡。诉讼程序。第二部分。查姆：斯普林格。莱克特。注释计算。科学。12111, 505-534 (2020).
MSC公司：94A60型 81页94 2007年11月
PDF格式BibTeX公司 XML格式引用
\textit{C.Costello}等人，Lect。注释计算。科学。12111，505--534（2020；Zbl 1481.94093）
全文： 内政部
西里尔·鲍维尔;洛朗·伊姆伯特

使用混合表示与ECM进行更快的协同分解。 （英语） Zbl 1483.11264号

Kiayias，Aggelos（编辑）等人，《公钥密码——PKC 2020》。第23届IACR公钥密码学实践与理论国际会议，2020年5月4日至7日，英国爱丁堡。诉讼程序。第二部分。查姆：斯普林格。莱克特。注释计算。科学。12111, 483-504 (2020).
MSC公司：05年11月 11T71型 94A60型 14G50型
PDF格式BibTeX公司 XML格式引用
\textit{C.Bouvier}和\textit{L.Imbert}，莱克特。注释计算。科学。12111483-504（2020年；兹比尔1483.11264）
全文： 内政部 链接
意大利迪努尔

用于查找多个碰撞对及其应用程序的紧时空下限。 （英语） Zbl 1479.94156号

Canteaut，Anne（编辑）等人，《密码学进展–EUROCRYPT 2020》。第39届密码技术理论与应用国际年会，克罗地亚萨格勒布，2020年5月10日至14日。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。12105, 405-434 (2020).
MSC公司：94A60型
PDF格式BibTeX公司 XML格式引用
\发短信给Lect。注释计算。科学。12105、405--434（2020年；Zbl 1479.94156）
全文： 内政部
伊夫·德斯迈德;萨比亚萨奇杜塔;基里尔·莫罗佐夫

进化完美散列族：进化秘密共享的组合观点。 （英语） Zbl 1444.94062号

Mu，Yi（编辑）等人，《密码学与网络安全》。2019年10月25日至27日在中国福州举行的CANS 2019第18届国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11829, 291-307 (2019).
MSC公司：94A60型 94A62型
PDF格式BibTeX公司 XML格式引用
\textit{Y.Desmedt}等人，Lect。注释计算。科学。11829、291--307（2019年；Zbl 1444.94062）
全文： 内政部
亨利·科里甘·吉布斯;德米特里·科根

功能转换问题：障碍和机遇。 （英语） Zbl 1455.94145号

Dennis Hofheinz等人，《密码学理论》。第17届国际会议，TCC 2019，德国纽伦堡，2019年12月1-5日。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。11891, 393-421 (2019).
MSC公司：94A60型
PDF格式BibTeX公司 XML格式引用
\textit{H.Corrigan-Gibbs}和\textit{D.Kogan}，莱克特。注释计算。科学。11891，393--421（2019；Zbl 1455.94145）
全文： 内政部
李迪龙;Tiu，Alwen先生

将ProVerify和自动定理证明器结合起来进行安全协议验证。 （英语） Zbl 07178986号

Fontaine，Pascal（编辑），自动扣除-CADE 27。第27届自动扣减国际会议，巴西纳塔尔，2019年8月27日至30日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11716, 354-365 (2019).
MSC公司：60年第68季度 68伏15 94A60型
PDF格式BibTeX公司 XML格式引用
\textit{D.L.Li}和\textit{A.Tiu}，Lect。注释计算。科学。11716、354--365（2019；Zbl 07178986）
全文： 内政部
丹尼尔·多尔蒂（Daniel J.Dougherty）。;约书亚·D·古特曼。;约翰·D·拉姆斯代尔。

上下文中的安全协议分析：使用SMT和CPSA计算最小执行数。 （英语） Zbl 1514.94078号

Furia，Carlo A.（编辑）等，《综合形式方法》。第14届国际会议，IFM 2018，爱尔兰梅努思，2018年9月5日至7日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11023, 130-150 (2018).
MSC公司：94A60型
PDF格式BibTeX公司 XML格式引用
\textit{D.J.Dougherty}等人，Lect。注释计算。科学。11023、130-150（2018；Zbl 1514.94078）
全文： 内政部
绍克·莫;史密斯，扎克;豪尔赫·托罗·波佐;罗兰多·特鲁吉洛·拉苏阿

自动识别对共享机密的去同步攻击。 （英语） Zbl 1496.68071号

Lopez，Javier（编辑）等人，《计算机安全》。第23届欧洲计算机安全研究研讨会，2018年ESORICS，西班牙巴塞罗那，2018年9月3-7日。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。11098, 406-426 (2018).
MSC公司：68平方米25 94A60型 94A62型
PDF格式BibTeX公司 XML格式引用
\textit{S.Mauw}等人，Lect。注释计算。科学。11098、406--426（2018；Zbl 1496.68071）
全文： 内政部
查克拉波蒂，迪帕尔卡;达斯，黛巴拉蒂;米查尔·库克;尼廷·索拉布

具有对数读取复杂度的空间最优准G码。 （英语） Zbl 1522.68167号

Azar，Yossi（编辑）等人，第26届欧洲算法年会，2018年8月20日至22日，欧洲航天局，芬兰赫尔辛基。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。112，第12条，第15页（2018年）。
MSC公司：68第05页 65年第68季度 94年2月25日
PDF格式BibTeX公司 XML格式引用
\textit{D.Chakraborty}等人，LIPIcs——莱布尼茨国际程序。通知。112，第12条，第15页（2018；Zbl 1522.68167）
全文： 内政部
斯特凡诺·特萨罗;Aishwarya Thiruvengadam

可证明的时间-内存权衡：对称加密对抗内存受限的对手。 （英语） 兹比尔1443.94080

Beimel，Amos（编辑）等人，《密码学理论》。2018年11月11日至14日在印度帕纳吉举行的TCC 2018第16届国际会议。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。11239, 3-32 (2018).
MSC公司：94A60型
PDF格式BibTeX公司 XML格式引用
\textit{S.Tessaro}和\textit{A.Thiruvengadam}，莱克特。注释计算。科学。11239，3--32（2018；Zbl 1443.94080）
全文： 内政部
丹尼尔·马丁。;阿什利·蒙塔纳罗;伊丽莎白·奥斯瓦尔德;丹·牧羊人

量子密钥搜索和侧通道建议。 （英语） Zbl 1384.94085号

Adams，Carlisle（编辑）等人，《密码学选定领域——SAC 2017》。第24届国际会议，加拿大安大略省渥太华，2017年8月16-18日。修改选定的论文。查姆：施普林格（ISBN 978-3-319-72564-2/pbk；978-3-3169-72565-9/电子书）。计算机科学课堂讲稿10719407-422（2018）。
MSC公司：94A60型 81页68 81页94
PDF格式BibTeX公司 XML格式引用
\textit{D.P.Martin}等人，Lect。注释计算。科学。10719407-422（2018年；Zbl 1384.94085）
全文： 内政部 链接
高新伟;李，林;丁金泰;刘继强;萨拉斯瓦蒂，R.V。;刘哲

快速离散高斯采样和量子后TLS密码集。 （英语） Zbl 1506.94042号

Liu，Joseph K.（编辑）等人，《信息安全实践与经验》。2017年12月13日至15日在澳大利亚维多利亚州墨尔本举行的2017年第13届国际会议，ISPEC。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10701, 551-565 (2017).
MSC公司：94A60型 81页94 94A20个
PDF格式BibTeX公司 XML格式引用
\textit{X.Gao}等人，Lect。注释计算。科学。10701、551--565（2017；Zbl 1506.94042）
全文： 内政部 链接
卡洛斯·阿吉拉尔·梅尔乔尔;马丁·R·阿尔布雷希特。;托马斯·里科塞特

从任意中心离散高斯采样用于基于格的加密。 （英语） Zbl 1515.94051号

Gollmann，Dieter（编辑）等人，《应用密码学和网络安全》。2017年7月10日至12日在日本金泽举行的2017年ACNS第15届国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10355, 3-19 (2017).
MSC公司：94A60型
PDF格式BibTeX公司 XML格式引用
\textit{C.Aguilar-Melchor}等人，Lect。注释计算。科学。10355，3-19（2017；Zbl 1515.94051）
全文： 内政部 链接
大卫·巴特勒;大卫·阿斯皮纳尔;阿德里亚·加斯科恩

如何在Isabelle中进行模拟：安全多方计算的形式化证明。 （英语） Zbl 1483.68486号

Ayala-Rincón，Mauricio（编辑）等人，交互式定理证明。2017年9月26日至29日在巴西巴西利亚举行的2017年ITP第八届国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10499, 114-130 (2017).
MSC公司：68V20型 2010年第68季度 68伏15 94A60型
PDF格式BibTeX公司 XML格式引用
\textit{D.Butler}等人，Lect。注释计算。科学。10499，114-130（2017；Zbl 1483.68486）
全文： 内政部 arXiv公司
罗萨里奥·朱斯托利西;克里斯蒂安·盖尔曼;马库斯·阿尔斯特罗姆;西蒙·霍姆伯格

用于机器类型通信的基于组的安全AKA协议。 （英语） Zbl 1381.94070号

Hong，Seokhie（编辑）等人，《信息安全与密码学——ICISC 2016》。第19届国际会议，韩国首尔，2016年11月30日至12月2日。修改选定的论文。查姆：施普林格（ISBN 978-3-319-53176-2/pbk；978-3-3169-53177-9/电子书）。计算机科学课堂讲稿10157，3-27（2017）。
MSC公司：94A60型 68第25页
PDF格式BibTeX公司 XML格式引用
\textit{R.Giustolisi}等人，Lect。注释计算。科学。10157，3--27（2017；Zbl 1381.94070）
全文： 内政部
伊兰·科马尔戈德斯基;莫尼·纳尔;伊伦·约盖夫

如何无限分享秘密。 （英语） Zbl 1412.94225号

Hirt，Martin（编辑）等人，《密码学理论》。第14届国际会议，TCC 2016-B，中国北京，2016年10月31日至11月3日，会议记录。第二部分。柏林：斯普林格。莱克特。注释计算。科学。9986, 485-514 (2016).
MSC公司：94A62型
PDF格式BibTeX公司 XML格式引用
\textit{I.Komargodski}等人，Lect。注释计算。科学。9986、485--514（2016；Zbl 1412.94225）
全文： 内政部
何塞·L·埃尔南德斯·拉莫斯。;安东尼奥·贾拉。;利安德罗·玛丽恩;安东尼奥·斯科尔梅塔（Antonio F.Skarmeta），戈麦斯（Gómez）

DCapBAC：通过ECC优化将授权逻辑嵌入到智能事物中。 （英语） Zbl 1335.68010号

国际期刊计算。数学。 93，第2期，345-366（2016）.
MSC公司：68英里11 68瓦30 94A60型 94A62型
PDF格式BibTeX公司 XML格式引用
\textit{J.L.Hernández-Ramos}等人，《国际计算杂志》。数学。93，No.2，345--366（2016；Zbl 1335.68010）
全文： 内政部
圣地亚哥埃斯科瓦尔;凯瑟琳·梅多斯;何塞·梅塞盖尔;圣地亚哥，索尼娅

用不等量约束模方程理论进行符号协议分析。 （英语） Zbl 1437.94060号

Bodei，Chiara（编辑）等人，《生物和安全应用编程语言》。在皮尔保罗·德加诺65岁生日之际献给他的散文。查姆：斯普林格。莱克特。注释计算。科学。9465, 238-261 (2015).
MSC公司：94A60型 68号30 03C05号机组
PDF格式BibTeX公司 XML格式引用
\textit{S.Escobar}等人，Lect。注释计算。科学。9465，238--261（2015；Zbl 1437.94060）
全文： 内政部
博迪，恰拉;琳达·布罗多;里卡多·福卡迪

攻击重建的静态证据。 （英语） Zbl 1437.94051号

Bodei，Chiara（编辑）等人，《生物和安全应用编程语言》。在皮尔保罗·德加诺65岁生日之际献给他的散文。查姆：斯普林格。莱克特。注释计算。科学。9465, 162-182 (2015).
MSC公司：94A60型
PDF格式BibTeX公司 XML格式引用
\textit{C.Bodei}等人，Lect。注释计算。科学。9465、162--182（2015年；Zbl 1437.94051）
全文： 内政部
普拉松·哈兹拉;黛巴斯·吉里;阿肖克·库马尔·达斯

用于保护无线传感器网络安全的基于密钥链的密钥预分配协议。 （英语） Zbl 1323.94152号

Mohapatra，Ram N.（编辑）等人，《数学与计算》。根据2015年1月5日至10日在印度哈尔迪亚举行的第二届国际会议（ICMC）上的陈述，选出论文。新德里：Springer（ISBN 978-81-322-2451-8/hbk；978-8132-2452-5/电子书）。《Springer Proceedings in Mathematics&Statistics》第139期、第135-154期（2015年）。
MSC公司：94A62型
PDF格式BibTeX公司 XML格式引用
\textit{P.Hazra}等人，Springer Proc。数学。Stat.139，135--154（2015；Zbl 1323.94152）
全文： 内政部
哈迪·艾哈迈迪;萨法维·奈尼，雷哈内赫

检测泄漏情况下的代数操作。 （英语） 兹比尔1395.94265

Padró，Carles（编辑），《信息论安全》。2013年11月28日至30日在新加坡举行的ICITS第七届国际会议。诉讼程序。查姆：施普林格（ISBN 978-3-319-04267-1/pbk；978-3-3169-04268-8/电子书）。计算机科学课堂讲稿8317，238-258（2014）。
MSC公司：94A60型
PDF格式BibTeX公司 XML格式引用
\textit{H.Ahmadi}和\textit{R.Safavi-Naini}，莱克特。注释计算。科学。8317238-258（2014年；兹比尔1395.94265）
全文： 内政部
勒伦特，加坦

近距离碰撞的时间记忆权衡。 （英语） Zbl 1321.94074号

Moriai，Shiho（编辑），《快速软件加密》。2013年3月11日至13日，第20届国际研讨会，FSE 2013，美国华盛顿特区。修改选定的论文。柏林：施普林格出版社（ISBN 978-3-662-43932-6/pbk；978-3-562-43933-3/ebook）。计算机科学课堂讲稿8424205-218（2014）。
MSC公司：94A60型 68第25页
PDF格式BibTeX公司 XML格式引用
\textit{G.Leurent}，莱克特。注释计算。科学。8424205-218（2014；Zbl 1321.94074）
全文： 内政部
反向链接： 卫生官员
Inna波拉克;阿迪·沙米尔

在对通用哈希函数的近碰撞攻击中使用随机纠错码。 （英语） Zbl 1337.94063号

Meier，Willi（编辑）等人，《密码学进展——INDOCRYPT 2014》。2014年12月14-17日在印度新德里举行的第十五届国际密码学会议。诉讼程序。查姆：施普林格（ISBN 978-3-319-13038-5/pbk；978-3-316-13039-2/电子书）。计算机科学课堂讲稿8885219-236（2014）。
MSC公司：94A60型
PDF格式BibTeX公司 XML格式引用
\textit{I.Polak}和\textit{A.Shamir}，莱克特。注释计算。科学。8885219--236（2014年；Zbl 1337.94063）
全文： 内政部
V.V.科切金。

改进了Bellman和Knuth问题中单项式和幂集的计算复杂性估计。 （俄语、英语） Zbl 1324.68052号

Diskretn公司。分析。伊斯斯莱德。操作。 21，第6号，51-72（2014）; J.Appl.中的翻译。Ind.数学。9，第1号，68-82（2015）。
MSC公司：65年第68季度 94B40码
PDF格式BibTeX公司 XML格式引用
\textit{V.Kochergin}，Diskretn公司。分析。伊斯斯莱德。操作。21，第6号，51--72（2014；Zbl 1324.68052）；J.Appl.中的翻译。Ind.数学。9，第1号，68--82（2015）
全文： 内政部
布鲁诺·布兰切特

符号模型中安全协议的自动验证：验证器ProVerif。 （英语） Zbl 1448.68185号

Aldini，Alessandro（编辑）等人，《安全分析和设计基础VII》。FOSAD 2012/2013辅导讲座。柏林：斯普林格。莱克特。注释计算。科学。8604, 54-87 (2014).
MSC公司：68平方米25 60年第68季度 68问题85 94A60型 94A62型
PDF格式BibTeX公司 XML格式引用
\textit{B.Blanchet}，莱克特。注释计算。科学。8604，54-87（2014；Zbl 1448.68185）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件