何塞·巴塞拉尔·阿尔梅达;曼纽尔·巴博萨;吉尔·巴特;弗朗索瓦州杜普斯托尔 加密实现的可验证并行通道安全性:恒定时间MEE-CBC。 (英语) Zbl 1387.94064号 Peyrin,Thomas(编辑),《快速软件加密》。2016年3月20日至23日在德国波鸿举行的2016年FSE第23届国际会议。修改选定的论文。柏林:施普林格出版社(ISBN 978-3-662-52992-8/pbk;978-3-562-52993-5/ebook)。计算机科学课堂讲稿9783,163-184(2016)。MSC公司:94A60型 PDF格式BibTeX公司 XML格式引用 \textit{J.B.Almeida}等人,Lect。注释计算。科学。9783163-184(2016年;兹比尔1387.94064) 全文: 内政部 链接
吉尔·巴特;马可·加博阿迪;埃米利奥·杰苏斯·加列戈·阿里亚斯;贾斯汀·徐;亚伦·罗斯;Pierre-Yves支柱 机构设计的计算机辅助验证。 (英语) Zbl 1404.91037号 蔡洋(编辑)等,《网络与互联网经济学》。2016年12月11日至14日,加拿大蒙特利尔,第十二届国际葡萄酒大会。诉讼程序。柏林:施普林格出版社(ISBN 978-3-662-54109-8/pbk;978-3-562-54110-4/电子书)。计算机科学课堂讲稿10123279-293(2016)。MSC公司:91个40个 91B68型 91-04 PDF格式BibTeX公司 XML格式引用 \textit{G.Barthe}等人,Lect。注释计算。科学。10123279--293(2016;Zbl 1404.91037) 全文: 内政部 arXiv公司
马丁·加涅;帕斯卡·拉福卡德;亚辛·拉赫内奇;萨法维·奈尼,雷哈内赫 分组密码操作模式的自动证明。 (英语) Zbl 1356.68188号 J.汽车。推理 56,第1号,49-94(2016).MSC公司:68吨15 03B70号 68号30 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{M.Gagné}等人,J.Autom。推理56,No.1,49--94(2016;Zbl 1356.68188) 全文: 内政部 哈尔
安德烈亚斯·洛赫比勒 高阶逻辑中的概率函数和密码预言。 (英语) Zbl 1335.68033号 Peter Thiemann(编辑),《编程语言和系统》。2016年4月2日至8日,作为欧洲软件理论与实践联合会议的一部分,在荷兰埃因霍温举行了第25届欧洲编程研讨会,即2016年ESOP。诉讼程序。柏林:施普林格出版社(ISBN 978-3-662-49497-4/pbk;978-3-562-49498-1/电子书)。计算机科学讲座笔记9632,503-531(2016)。MSC公司:68甲18 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{A.Lochbihler},莱克特。注释计算。科学。9632503--531(2016;Zbl 1335.68033) 全文: 内政部