埃米尔·赫茨伯格;赫米·莱博维茨;西塔,埃瓦;萨拉·沃托尼亚克 MoSS:模块化安全规范框架。 (英语) Zbl 1486.94107号 Malkin,Tal(编辑)等人,《密码学进展-密码2021》。第41届国际密码学年会,2021年8月16日至20日,CRYPTO 2021,虚拟事件。诉讼程序。第三部分查姆:斯普林格。莱克特。注释计算。科学。12827, 33-63 (2021).MSC公司:94A60型 PDF格式BibTeX公司 XML格式引用 \文本{A.Herzberg}等人,Lect。注释计算。科学。12827、33-63(2021年;Zbl 1486.94107) 全文: 内政部
巴特勒,D。;A.洛赫比勒。;阿斯皮纳尔,D。;A.加斯科恩。 使用CryptHOL对协议和承诺方案进行形式化。 (英语) Zbl 1524.94063号 J.汽车。推理 65,第4期,521-567(2021年).MSC公司:94A60型 68V20型 PDF格式BibTeX公司 XML格式引用 \textit{D.Butler}等人,J.Autom。推理65,No.4,521--567(2021;Zbl 1524.94063) 全文: 内政部
David A.Basin。;安德烈亚斯·洛赫比勒;塞菲加·雷扎 CryptHOL:高阶逻辑中基于游戏的证明。 (英语) Zbl 1455.94121号 J.密码学 33,第2期,494-566(2020年).MSC公司:94A60型 94A62型 68伏15 91A99型 PDF格式BibTeX公司 XML格式引用 \textit{D.A.Basin}等人,《密码学杂志》33,第2期,494--566(2020;Zbl 1455.94121) 全文: 内政部
大卫·巴特勒;大卫·阿斯皮纳尔;阿德里亚·加斯科恩 如何在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公司