斯特凡尼德劳恩；约瑟夫·拉勒曼德 一票就足以分析隐私。 （英语） Zbl 1523.68019号 Atluri，Vijayalakshmi（编辑）等人，《计算机安全–ESORICS 2022》。第27届欧洲计算机安全研究研讨会，丹麦哥本哈根，2022年9月26日至30日。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。13554, 173-194 (2022).MSC公司：68平方米25 68第27页 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{S.Delaune}和\textit{J.Lallemand}，莱克特。注释计算。科学。13554，173--194（2022；Zbl 1523.68019） 全文： 内政部 哈尔
维罗尼克·科尔蒂尔；安托万·达隆；斯特凡尼德劳恩 有效地确定标准原语和阶段的等价性。 （英语） Zbl 1496.68060号 Lopez，Javier（编辑）等人，《计算机安全》。第23届欧洲计算机安全研究研讨会，2018年ESORICS，西班牙巴塞罗那，2018年9月3-7日。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。11098, 491-511 (2018).MSC公司：68平方米25 68第27页 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{V.Cortier}等人，Lect。注释计算。科学。11098、491--511（2018；Zbl 1496.68060） 全文： 内政部 哈尔
斯特凡尼德劳恩 分析加密协议中的隐私类型属性（受邀演讲）。 （英语） Zbl 1462.68017号 Kirchner，Hélène（编辑），第三届计算和扣除正式结构国际会议，2018年7月9日至12日，英国牛津FSCD。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。108，第1条，第21页（2018年）。MSC公司：68平方米25 68个M12 60年第68季度 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{S.Delaune}，LIPIcs——莱布尼茨国际程序。通知。108，第1条，第21页（2018；Zbl 1462.68017） 全文： 内政部
文森特·雪瓦尔；休伯特·科蒙·隆德；斯特凡尼德劳恩 确定约束系统集之间符号等价性的过程。 （英语） Zbl 1371.68189号 Inf.计算。 255，第1部分，94-125（2017）.MSC公司：68问题85 60年第68季度 94A60型 PDF格式BibTeX公司 XML格式引用 \textit｛V.Cheval｝等人，Inf.Comput。255，第1部分，94-125（2017；Zbl 1371.68189） 全文： 内政部 链接
斯特凡尼德劳恩；卢卡赫希 密码协议中建立基于等价性属性的符号方法综述。 （英语） Zbl 1359.68023号 J.日志。阿尔盖布。方法计划。 87, 127-144 (2017).MSC公司：68个M12 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{S.Delaune}和\textit{L.Hirschi}，J.Log。阿尔盖布。方法计划。87、127--144（2017；Zbl 1359.68023） 全文： 内政部 arXiv公司
雷米·克雷蒂安；维罗尼克·科尔蒂尔；斯特凡尼德劳恩 从安全协议到下推自动机。 （英语） 兹伯利1367.68186 ACM事务处理。计算。日志。 17，第1号，第3条，45页（2015年）.MSC公司：60年第68季度 65年第68季度 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{R.Chrétien}等人，ACM Trans。计算。日志。17，第1号，第3条，第45页（2015年；兹bl 1367.68186） 全文： 内政部 哈尔
雪莲骑士；斯特凡尼德劳恩；史蒂夫·克莱默；马克·D·瑞恩。 基于密码的协议的组成。 （英语） Zbl 1291.68035号 形式方法系统。设计。 43，第3期，369-413（2013）.MSC公司：68个M12 68英里11 94A60型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Chevalier}等人，《形式方法系统》。设计。43，第3号，369--413（2013；Zbl 1291.68035） 全文： 内政部 哈尔
文森特·雪瓦尔；维罗尼克·科尔蒂尔；斯特凡尼德劳恩 使用约束求解确定基于等效的特性。 （英语） Zbl 1294.68111号 西奥。计算。科学。 492，1-39（2013）.MSC公司：68问题85 68个M12 60年第68季度 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{V.Cheval}等人，Theor。计算。科学。492，1--39（2013年；Zbl 1294.68111） 全文： 内政部
瑟·特凡·乔巴赫；斯特凡尼德劳恩；史蒂夫·克莱默 在收敛方程理论下计算安全协议知识。 （英语） Zbl 1242.68098号 J.汽车。推理 48，第2期，219-262（2012）.MSC公司：第68页第25页 68个M12 68吨15 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{ö.Ciobác}等人，J.Autom。推理48，No.2，219--262（2012；Zbl 1242.68098） 全文： 内政部
文森特·雪瓦尔；休伯特·科蒙·隆德；斯特凡尼德劳恩 自动化安全分析：约束系统的符号等价。 （英语） Zbl 1291.94068号 Giesl，Jürgen（编辑）等人，《自动推理》。2010年7月16日至19日在英国爱丁堡举行的第五届国际联合会议，IJCAR 2010。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-14202-4/pbk）。计算机科学讲义6173。人工智能课堂讲稿，412-426（2010）。MSC公司：94A60型 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{V.Cheval}等人，Lect。注释计算。科学。6173412--426（2010年；Zbl 1291.94068） 全文： 内政部 链接
维罗尼克·科尔蒂尔；斯特凡尼德劳恩 安全地组成安全协议。 （英语） Zbl 1165.68358号 形式方法系统。设计。 34，第1期，1-36页（2009年）.MSC公司：68N99型 68米10 第68页第25页 PDF格式BibTeX公司 XML格式引用 \textit{V.Cortier}和\textit{S.Delaune}，《形式方法系统》。设计。34，编号1，1-36（2009年；兹bl 1165.68358） 全文： 内政部 链接
马修·波德特；维罗尼克·科尔蒂尔；斯特凡尼德劳恩 YAPA：计算入侵者知识的通用工具。 （英语） Zbl 1242.94018号 Treinen，Ralf（编辑），重写技术和应用。2009年6月29日至7月1日在巴西巴西利亚举行的RTA 2009第20届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-02347-7/pbk）。计算机科学课堂讲稿5595148-163（2009）。MSC公司：94A60型 03B25号 第68页第25页 2012年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{M.Baudet}等人，Lect。注释计算。科学。5595148-163（2009年；Zbl 1242.94018） 全文： 内政部 arXiv公司
维罗尼克·科尔蒂尔；杰雷米·德莱特；斯特凡尼德劳恩 安全地制定安全协议。 （英语） Zbl 1135.68392号 Arvind，V.（ed.）等人，FSTTCS 2007：软件技术和理论计算机科学基础。第27届国际会议，印度新德里，2007年12月12日至14日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-77049-7/pbk）。计算机科学课堂讲稿4855，352-363（2007）。MSC公司：第68页第25页 PDF格式BibTeX公司 XML格式引用 \textit{V.Cortier}等人，Lect。注释计算。科学。4855、352--363（2007年；Zbl 1135.68392） 全文： 内政部