克里斯·布尔祖斯卡;Delignat Lavaud,安托万;克里斯托夫·艾格;塞德里克·Fornet;Kohbrok,Konrad公司;马尔库夫·科尔韦斯 TLS 1.3标准的密钥计划安全性。 (英语) Zbl 1519.94067号 Agrawal,Shweta(编辑)等人,《密码学进展——亚洲密码2022》。第28届国际密码学和信息安全理论与应用会议,台湾台北,2022年12月5日至9日。诉讼程序。第一部分查姆:施普林格。莱克特。注释计算。科学。13791, 621-650 (2023).MSC公司:94A60型 PDF格式BibTeX公司 XML格式引用 \textit{C.Brzuska}等人,Lect。注释计算。科学。13791、621--650(2023年;Zbl 1519.94067) 全文: 内政部
马丁·阿巴迪;布鲁诺·布兰切特;塞德里克·Fornet 应用的pi演算、移动值、新名称和安全通信。 (英语) Zbl 1426.68037号 美国临床医学杂志 65,第1号,第1条,41页(2018年).MSC公司:68号30 68第25页 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Abadi}等人,J.ACM 65,第1号,第1条,41页(2018年;Zbl 1426.68037) 全文: 内政部 arXiv公司
布鲁诺·布兰切特;马丁·阿巴迪;塞德里克·Fornet 自动验证安全协议的选定等效项。 (英语) Zbl 1135.68007号 J.日志。代数。程序。 75,第1期,第3-51页(2008年).MSC公司:68个M12 68M10个 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{B.Blanchet}等人,J.Log。代数。程序。75,第1、3--51号(2008;Zbl 1135.68007) 全文: 内政部
卡尔蒂基扬·巴尔干;塞德里克·Fornet;安德鲁·戈登。;谢霆锋(Stephen Tse) 已验证安全协议的互操作实现。 (英语) Zbl 1137.68323号 Broy,Manfred(编辑)等人,《软件系统可靠性和安全性》。《北约软件系统可靠性和安全高级研究所会议记录》,德国马克托伯恩多夫,2006年8月1日至13日。阿姆斯特丹:IOS出版社(ISBN 978-1-58603-731-4/hbk)。北约科学安全系列。D: 信息和通信安全9,87-115(2007)。MSC公司:68个M12 68第25页 PDF格式BibTeX公司 XML格式引用 \textit{K.Bhargavan}等人,in:软件系统可靠性和安全性。《北约软件系统可靠性和安全高级研究所会议记录》,德国马克托伯恩多夫,2006年8月1日至13日。阿姆斯特丹:IOS出版社。87-115(2007;Zbl 1137.68323)