克里斯·布尔祖斯卡；安托万，Deligna-Lavoud；克里斯托夫·艾格；塞德里克·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） 全文： 内政部 链接
克里斯·布尔祖斯卡；安托万，Deligna-Lavoud；塞德里克·Fornet；Kohbrok，Konrad公司；马尔库夫·科尔韦斯 基于代码的游戏证明的状态分离。 （英语） Zbl 1447.94022号 Peyrin，Thomas（编辑）等人，《密码学进展——ASIACRYPT 2018》。第24届密码学和信息安全理论与应用国际会议，澳大利亚昆士兰州布里斯班，2018年12月2-6日。诉讼程序。第三部分商会：施普林格。莱克特。注释计算。科学。11274, 222-249 (2018).MSC公司：94A60型 PDF格式BibTeX公司 XML格式引用 \textit{C.Brzuska}等人，Lect。注释计算。科学。11274、222--249（2018；Zbl 1447.94022） 全文： 内政部
塞德里克·Fornet；卡尔蒂基扬·巴尔干；安德鲁·戈登。 通过键入样本协议实现进行加密验证。 （英语） Zbl 1344.68072号 Aldini，Alessandro（ed.）等人，《安全分析和设计基础VI》，FOSAD教程讲座。柏林：施普林格出版社（ISBN 978-3-642-23081-3/pbk）。计算机科学课堂讲稿6858，66-100（2011）。MSC公司：68第25页 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{C.Fournet}等人，Lect。注释计算。科学。6858、66-100（2011年；Zbl 1344.68072） 全文： 内政部 哈尔
卡尔蒂基扬·巴尔干；塞德里克·Fornet；安德鲁·戈登。 web服务身份验证的语义。 （英语） Zbl 1142.68587号 西奥。计算。科学。 340，编号102-153（2005）.MSC公司：68单位35 68米10 60年第68季度 94A62型 PDF格式BibTeX公司 XML格式引用 \textit{K.Bhargavan}等人，Theor。计算。科学。340，编号1，102--153（2005；Zbl 1142.68587） 全文： 内政部