×

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

最新的 引文 关联
阿齐米，赛义德·阿拉什;阿德里安·拉内亚;马哈茂德·萨尔马西扎德;贾瓦德·莫哈杰里;阿雷夫，穆罕默德·雷扎;文森特·里杰曼

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

设计。代码加密 90，第8期，1797-1855（2022）.
审核人：Janaka Alawatugoda（佩拉迪尼亚）
MSC公司：94A60型
PDF格式BibTeX公司 XML格式引用
\textit{S.A.Azimi}等人，Des。密码术90，No.8，1797--1855（2022；Zbl 1494.94033）
全文： 内政部
塞耶德·阿拉什·阿齐米;阿德里安·拉内亚;马哈茂德·萨尔马西扎德;穆罕默德·贾瓦德;阿雷夫，穆罕默德·雷扎;文森特·里杰曼

模加常数的位向量微分模型。 （英语） 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。注释计算。科学。12491385-414（2020年；兹比尔1511.94046）
全文： 内政部 链接
艾娜·尼梅茨;马蒂亚斯·普雷纳;安德鲁·雷诺兹;尤尼·佐哈尔;克拉克·巴雷特;塞萨尔·蒂内利

SMT求解器中的位宽度相关证明。 （英语） Zbl 07178987号

Fontaine，Pascal（编辑），自动扣除-CADE 27。第27届自动扣减国际会议，巴西纳塔尔，2019年8月27日至30日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11716, 366-384 (2019).
MSC公司：68伏15
PDF格式BibTeX公司 XML格式引用
\textit{A.Niemetz}等人，Lect。注释计算。科学。11716、366--384（2019；Zbl 07178987）
全文： 内政部 arXiv公司
马蒂亚斯·普雷纳;艾娜·尼梅茨;阿明·比尔

反例引导的模型合成。 （英语） 兹比尔1452.68122

Legay，Axel（编辑）等人，《系统构建和分析的工具和算法》。2017年4月22日至29日在瑞典乌普萨拉举行的第23届国际会议（TACAS 2017），是欧洲软件理论与实践联合会议（ETAPS 2017）的一部分。诉讼程序。第一部分柏林：施普林格。莱克特。注释计算。科学。10205, 264-280 (2017).
MSC公司：60年第68季度 03B70型
PDF格式BibTeX公司 XML格式引用
\textit{M.Preiner}等人，Lect。注释计算。科学。10205、264--280（2017；Zbl 1452.68122）
全文： 内政部
马丁·乔纳什;斯特雷切克，简

使用二元决策图求解量化位向量公式。 （英语） Zbl 1475.68345号

Creignou，Nadia（编辑）等人，《满意度测试的理论和应用——2016年SAT》。第19届国际会议，法国波尔多，2016年7月5-8日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9710, 267-283 (2016).
MSC公司：68T20型
PDF格式BibTeX公司 XML格式引用
\textit{M.Jonáš}和\textit{J.Strejček}，莱克特。注释计算。科学。9710，267--283（2016；Zbl 1475.68345）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

序列号

全部的 前5名

出版年份

主字段

全部的 前3名

软件