×

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

最新的 引文 关联
穆拉德·阿洪多夫；费德里科·莫拉；尼克·冯；文森特·惠；玛莎·契契克

通过在程序片上赌博进行验证。 （英语） Zbl 1497.68282号

Hou，Zhe（编辑）等，验证和分析自动化技术。2021年10月18日至22日，澳大利亚昆士兰州黄金海岸，第19届国际研讨会，ATVA 2021。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12971, 266-282 (2021).
MSC公司：60年第68季度 68号30 65年第68季度 94A60型
PDF格式BibTeX公司 XML格式引用
\textit{M.Akhundov}等人，Lect。注释计算。科学。12971，266--282（2021；Zbl 1497.68282）
全文： 内政部
斯科特·卫斯理；玛丽亚·克里斯塔基斯；豪尔赫·纳瓦斯（Jorge A.Navas）。；理查德·特雷弗勒；瓦伦丁·Wüstholz；阿里·古芬克尔

通过通信抽象对智能合约进行组合验证。 （英语） Zbl 1497.68321号

Drágoi，Cezara（编辑）等人，《静态分析》。第28届国际研讨会，SAS 2021，芝加哥，伊利诺伊州，美国，2021年10月17日至19日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12913, 429-452 (2021).
MSC公司：60年第68季度 68问题85 94A60型
PDF格式BibTeX公司 XML格式引用
\textit{S.Wesley}等人，Lect。注释计算。科学。12913，429--452（2021；Zbl 1497.68321）
全文： 内政部 arXiv公司
佩琳娜·托尔马赫；李毅；林尚伟；刘，杨

可组合DeFi协议的形式化分析。 （英语） Zbl 1492.91461号

Bernhard，Matthew（编辑）等人，《金融加密和数据安全》。FC 2021国际研讨会。Codecfin、DeFi、VOTING和WTSC，虚拟活动，2021年3月5日。修改选定的论文。柏林：斯普林格。莱克特。注释计算。科学。12676, 149-161 (2021).
MSC公司：91克99 94A60型
PDF格式BibTeX公司 XML格式引用
\textit{P.Tolmach}等人，Lect。注释计算。科学。12676、149--161（2021年；Zbl 1492.91461）
全文： 内政部 arXiv公司
波士顿，布雷特；塞缪尔·布雷斯；乔伊·多兹；多兹，迈克；布赖恩·霍夫曼；亚当·佩彻；安德烈·斯特凡内斯库

已验证每个人的密码。 （英语） Zbl 1493.68206号

Silva，Alexandra（编辑）等人，《计算机辅助验证》。第33届国际会议，CAV 2021，虚拟活动，2021年7月20日至23日。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。12759, 645-668 (2021).
MSC公司：60年第68季度 94A60型
PDF格式BibTeX公司 XML格式引用
\textit｛B.Boston｝等人，Lect。注释计算。科学。12759645--668（2021年；Zbl 1493.68206）
全文： 内政部
亚历山大·塞梅诺夫；伊利亚·奥普申尼科夫；伊琳娜·格里巴诺娃；奥列格·扎金；斯蒂芬·科切马佐夫

将离散函数的算法描述转换为SAT，并应用于密码分析问题。 （英语） 兹比尔1528.94079

日志。方法计算。科学。 16，第1号，第29号论文，42页（2020年）.
MSC公司：94A60型 68T20型
PDF格式BibTeX公司 XML格式引用
\textit{A.Semenov}等人，日志。方法计算。科学。16，第1号，第29号论文，42页（2020；Zbl 1528.94079）
全文： arXiv公司 链接
大卫·巴尔德；斯特凡尼德劳恩；卢卡赫希

安全协议等价物的POR。超越行动决定论。 （英语） Zbl 1496.68055号

Lopez，Javier（编辑）等人，《计算机安全》。第23届欧洲计算机安全研究研讨会，2018年ESORICS，西班牙巴塞罗那，2018年9月3-7日。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。11098, 385-405 (2018).
MSC公司：68平方米25 94A60型
PDF格式BibTeX公司 XML格式引用
\textit{D.Baelde}等人，Lect。注释计算。科学。11098，385--405（2018；Zbl 1496.68055）
全文： 内政部 arXiv公司
尼古拉斯·比舍尔；马丁·弗兰兹；安德烈亚斯·霍尔泽；赫尔穆特·维思；斯特凡·卡岑贝塞尔

关于编译为安全多方计算优化的布尔电路。 （英语） Zbl 1386.68020号

形式方法系统。设计。 51，第2号，308-331（2017）.
MSC公司：64岁以下 第68页第20页 第68页第25页 94立方厘米10
PDF格式BibTeX公司 XML格式引用
\textit{N.Büscher}等人，《形式方法系统》。设计。51，No.2，308--331（2017；Zbl 1386.68020）
全文： 内政部
尼尔斯·弗利什哈克；约翰内斯·克虏伯；朱利奥·马拉沃尔塔；乔纳斯·施耐德；多米尼克·施罗德；马克·西姆金

从具有可重新随机化密钥的签名中获得高效的不可链接可清理签名。 （英语） Zbl 1388.94054号

Cheng，Chen-Mou（编辑）等，公开密钥加密——PKC 2016。第19届IACR公钥密码学实践与理论国际会议，台湾台北，2016年3月6日至9日。诉讼程序。第一部分柏林：施普林格出版社（ISBN 978-3-662-49383-0/pbk；978-3-562-49384-7/ebook）。计算机科学讲座笔记9614，301-330（2016）。
MSC公司：94A60型
PDF格式BibTeX公司 XML格式引用
\textit｛N.Fleischhacker｝等人，Lect。注释计算。科学。9614、301-330（2016年；Zbl 1388.94054）
全文： 内政部
赖俊佐；罗伯特·H·邓。；马，常熟；樱井，口一；翁，Jian

CCA安全密钥全同态加密。 （英语） Zbl 1388.94067号

Cheng，Chen-Mou（编辑）等，公开密钥加密——PKC 2016。第19届IACR公钥密码学实践与理论国际会议，台湾台北，2016年3月6日至9日。诉讼程序。第一部分柏林：施普林格出版社（ISBN 978-3-662-49383-0/pbk；978-3-562-49384-7/ebook）。计算机科学讲座笔记9614，70-98（2016）。
MSC公司：94A60型
PDF格式BibTeX公司 XML格式引用
\textit{J.Lai}等人，Lect。注释计算。科学。9614、70-98（2016年；Zbl 1388.94067）
全文： 内政部 链接
迈克尔·罗宾逊

异步逻辑电路和捆障碍物。 （英语） Zbl 1337.94114号

Fajstrup，Lisbeth（编辑）等人，《计算机科学中几何和拓扑方法第九次研讨会论文集》，丹麦奥尔堡，2010年1月11日至15日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记283，159-177（2012）。
MSC公司：94立方厘米10 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{M.Robinson}，电子。注释Theor。计算。科学。283159--177（2012年；Zbl 1337.94114）
全文： 内政部 arXiv公司
苏海卜·巴里尔；塞西尔·布劳恩斯坦；埃曼纽尔·恩克雷纳兹；Jean-Michel伊利；伊莎贝尔·穆尼尔；丹尼斯·波特雷诺；萨那尤尼斯

通过符号模型检查进行稳健性量化的可行性分析。 （英语） Zbl 1247.68156号

形式方法系统。设计。 第2期第39页，第165-184页（2011年）.
MSC公司：60年第68季度 94C12号机组
PDF格式BibTeX公司 XML格式引用
\textit{S.Baarir}等人，《形式方法系统》。设计。39，编号2165-184（2011年；兹bl 1247.68156）
全文： 内政部
汉斯·克莱恩·勃宁；赵西顺；乌韦·布贝克

量化电路的正规形式转换。 （英语） Zbl 1330.68103号

Sakallah，Karem A.（编辑）等人，《可满足性测试的理论和应用——2011年SAT》。2011年6月19-22日在美国密歇根州安阿伯举行的2011年第14届国际SAT会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-21580-3/pbk）。计算机科学讲座笔记6695245-258（2011）。
MSC公司：65年第68季度 68T20型 94立方厘米10
PDF格式BibTeX公司 XML格式引用
\textit{H.K.Büning}等人，Lect。注释计算。科学。6695245--258（2011年；Zbl 1330.68103）
全文： 内政部
罗向宇；苏凯乐；顾，明；吴丽君；杨金吉

草食协议中检验知识的符号模型。 （英语） Zbl 1327.68037号

范德梅登（van der Meyden）、罗恩（Ron）等，《模型检查和人工智能》。2010年7月11日于美国佐治亚州亚特兰大举行的2010年MoChArt第六届国际研讨会。修订选定和邀请的论文。柏林：施普林格出版社（ISBN 978-3-642-20673-3/pbk）。计算机科学课堂讲稿6572。人工智能课堂讲稿，112-129（2011）。
MSC公司：68个M12 60年第68季度 94A60型
PDF格式BibTeX公司 XML格式引用
\textit{X.Luo}等人，Lect。注释计算。科学。6572112-129（2011年；Zbl 1327.68037）
全文： 内政部
帕斯夸尔马拉卡里亚；乔纳森·海瑟

信息理论与安全：定量信息流。 （英语） Zbl 1189.68059号

Aldini，Alessandro（编辑）等人，编程语言定量方面的形式化方法。2010年6月21日至26日，意大利贝蒂诺罗，2010年SFM，第十届计算机、通信和软件系统正式设计方法国际学校。高级讲座。柏林：施普林格出版社（ISBN 978-3-642-13677-1/pbk）。计算机科学课堂讲稿615487-134（2010）。
MSC公司：68页30 68个M12 68号30 94A60型
PDF格式BibTeX公司 XML格式引用
\textit{P.马拉卡里亚}和\textit{J.海瑟}，莱克特。注释计算。科学。6154，87--134（2010；Zbl 1189.68059）
全文： 内政部
埃蒂安·安德烈；托马斯·查泰恩；劳伦·弗里堡；埃马纽埃尔

参数时间自动机的逆方法。 （英语） Zbl 1337.68150号

Halava，Vesa（编辑）等人，计算模型可达性问题第二次研讨会论文集（RP 2008），英国利物浦，2008年9月15日至17日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记223，29-46（2008）。
MSC公司：65年第68季度 60年第68季度 94立方厘米10
PDF格式BibTeX公司 XML格式引用
\textit{埃米·安德烈}等人，《电子》。注释Theor。计算。科学。223、29-46（2008年；Zbl 1337.68150）
全文： 内政部
奥尔纳·格伦伯格；阿萨夫·舒斯特；亚维·亚德加

STE的3值电路SAT，具有自动细化功能。 （英语） Zbl 1141.68467号

Namjoshi，Kedar S.（编辑）等人，《验证和分析自动化技术》。2007年10月22日至25日，第五届国际研讨会，ATVA 2007，日本东京。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-75595-1/pbk）。计算机科学课堂讲稿4762457-473（2007）。
MSC公司：60年第68季度 68吨15 94立方厘米10
PDF格式BibTeX公司 XML格式引用
\textit{O.Grumberg}等人，Lect。注释计算。科学。4762、457--473（2007年；Zbl 1141.68467）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件