×

找到13个文档（结果1-13）

最新的 引文 关联
劳尔·洛佩斯·鲁埃达；圣地亚哥埃斯科瓦尔

具有不可约性和SMT约束的规范收缩作为通用符号协议分析方法。 （英语） Zbl 1517.94128号

Bae，Kyungmin（编辑），重写逻辑及其应用。2022年4月2日至3日，第14届国际研讨会，WRLA 2022，德国慕尼黑。修改选定的论文。查姆：斯普林格。莱克特。注释计算。科学。13252, 45-64 (2022).
MSC公司：94A60型 第68页第25页
PDF格式BibTeX公司 XML格式引用
\textit｛R.López Rueda｝和\textit｛S.Escobar｝，Lect。注释计算。科学。13252，45-64（2022；Zbl 1517.94128）
全文： 内政部
塞耶德·阿拉什·阿齐米；阿德里安·拉内亚；马哈茂德·萨尔马西扎德；贾瓦德·莫哈杰里；阿雷夫，穆罕默德·雷扎；文森特·里杰曼

常数模加法的位向量微分模型及其在微分和不可能微分密码分析中的应用。 （英语） Zbl 1494.94033号

设计。代码加密 90，第8期，1797-1855（2022）.
审核人：Janaka Alawatugoda（佩拉迪尼亚）
MSC公司：94A60型
PDF格式BibTeX公司 XML格式引用
\textit{S.A.Azimi}等人，Des。《密码90》，编号8，1797——1855（2022；Zbl 1494.94033）
全文： 内政部
牛、赵；李木洲；孙思伟；王美琴

零相关线性密码分析，对明文和微调进行同等处理。 （英语） 兹比尔1479.94238

Paterson，Kenneth G.（编辑），密码学主题–CT-RSA 2021。密码学家在2021年5月17日至20日举行的RSA 2021年会议虚拟活动上的表现。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12704, 126-147 (2021).
MSC公司：94A60型
PDF格式BibTeX公司 XML格式引用
\textit{C.Niu}等人，Lect。注释计算。科学。12704、126--147（2021年；Zbl 1479.94238）
全文： 内政部
塞耶德·阿拉什·阿齐米；阿德里安·拉内亚；马哈茂德·萨尔马西扎德；贾瓦德·莫哈杰里；阿雷夫，穆罕默德·雷扎；文森特·里杰曼

模加常数的位向量微分模型。 （英语） Zbl 1511.94046号

Moriai，Shiho（编辑）等人，《密码学进展——亚洲密码2020》。第26届密码学和信息安全理论与应用国际会议，韩国大田，2020年12月7日至11日。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。12491, 385-414 (2020).
MSC公司：94A60型
PDF格式BibTeX公司 XML格式引用
\textit｛S.A.Azimi｝等人，Lect。注释计算。科学。12491、385--414（2020年；Zbl 1511.94046）
全文： 内政部 链接
辛文倩；刘云文；孙冰；李超

改进了SipHash上的密码分析。 （英语） Zbl 1444.94109号

Mu，Yi（编辑）等人，《密码学与网络安全》。2019年10月25日至27日在中国福州举行的CANS 2019第18届国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11829, 61-79 (2019).
MSC公司：94A60型
PDF格式BibTeX公司 XML格式引用
\textit{W.Xin}等人，Lect。注释计算。科学。11829、61-79（2019年；Zbl 1444.94109）
全文： 内政部
拉尔夫·安科勒；斯特凡·科尔布尔

注意差距——仔细看看分组密码的安全性，以防差异密码分析。 （英语） Zbl 1447.94017号

Cid，Carlos（编辑）等人，《密码学选定领域——SAC 2018》。第25届国际会议，2018年8月15日至17日，加拿大阿联酋卡尔加里。修改选定的论文。查姆：斯普林格。莱克特。注释计算。科学。11349, 163-190 (2019).
MSC公司：94A60型
PDF格式BibTeX公司 XML格式引用
\textit{R.Ankele}和\textit{S.Kölbl}，莱克特。注释计算。科学。11349，163-190（2019年；Zbl 1447.94017）
全文： 内政部 链接
韩、雅；李永强；王明生

使用三个子集搜索具有除法性质的ARX分组密码积分的自动方法。 （英语） Zbl 1458.94240号

Naccache，David（编辑）等人，《信息和通信安全》。2018年10月29日至31日在法国里尔举行的ICICS 2018第20届国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11149, 647-663 (2018).
MSC公司：94A60型
PDF格式BibTeX公司 XML格式引用
\textit{Y.Han}等人，Lect。注释计算。科学。11149647--663（2018；Zbl 1458.94240）
全文： 内政部
孙玲；王伟；王美琴

自动搜索ARX密码的基于位的除法属性和基于字的除法特性。 （英语） 1420.94097兹罗提

Takagi，Tsuyoshi（编辑）等人，《密码学进展——2017年亚洲密码》。第23届国际密码学和信息安全理论与应用会议，中国香港，2017年12月3日至7日。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。10624, 128-157 (2017).
MSC公司：94A60型
PDF格式BibTeX公司 XML格式引用
\textit{L.Sun}等人，Lect。注释计算。科学。10624，128--157（2017年；Zbl 1420.94097）
全文： 内政部
兹索尔特·科拉尔；贾拉吉·加兹达；佩特尔·霍瓦思；拉霍斯·瓦尔加；杜尚·科库尔

故意剪裁SMT信号的迭代信号重建。 （英语） Zbl 1357.94034号

科学。中国，信息科学。 57，第2号，文章ID 022301，13 p.（2014）.
MSC公司：94甲12 第94页第13页
PDF格式BibTeX公司 XML格式引用
\textit{Z.Kollár}等人，科学。中国，信息科学。57，第2号，文章ID 022301，13 p.（2014；Zbl 1357.94034）
全文： 内政部 链接

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件