亚历山大·戴班特；斯特凡尼德劳恩；西里尔·威德林 分析安全协议中物理邻近性的符号框架。 （英语） Zbl 1528.94042号 Ganguly，Sumit（编辑）等人，第38届IARCS软件技术和理论计算机科学基础年会，2018年12月11-13日，印度艾哈迈达巴德，FSTTCS 2018。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。122，第29条，第20页（2018年）。MSC公司：94A60型 PDF格式BibTeX公司 XML格式引用 \textit{A.Debant}等人，LIPIcs——莱布尼茨国际程序。通知。122，第29条，第20页（2018；Zbl 1528.94042） 全文： DOI程序
斯特凡尼德劳恩 分析加密协议中的隐私类型属性（受邀演讲）。 （英语） 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） 全文： DOI程序
斯特凡尼德劳恩；卢卡·赫斯基 密码协议中建立基于等价性属性的符号方法综述。 （英语） 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） 全文： DOI程序 arXiv公司
大卫·巴尔德；斯特凡尼德劳恩；卢卡·赫斯基 安全协议的部分降阶。 （英语） Zbl 1374.68318号 Aceto，Luca（编辑）等人，第26届并发理论国际会议，CONCUR’15，西班牙马德里，2015年9月1日至4日。诉讼程序。瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-91-0）。LIPIcs–莱布尼茨国际信息学论文集42，497-510（2015）。MSC公司：68问题85 60年第68季度 94A60型 PDF格式BibTeX公司 XML格式引用 \textit｛D.Baelde｝等人，LIPIcs——莱布尼茨国际期刊。通知。42、497--510（2015年；Zbl 1374.68318） 全文： DOI程序 arXiv公司
迈托·阿拉皮尼斯；斯特凡尼德劳恩；史蒂夫·克莱默 安全协议的动态标签。 （英语） Zbl 1315.94050号 日志。方法计算。科学。 10，第2号，第11号论文，50页（2014年）.MSC公司：94A60型 68个M12 第68页第25页 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Arapinis}等人，日志。方法计算。科学。10，第2号，第11号论文，50页（2014；Zbl 1315.94050） 全文： DOI程序 arXiv公司
雪莲骑士；斯特凡尼德劳恩；史蒂夫·克莱默 转换密码协议以编写。 （英语） 兹比尔1246.68068 Chakraborthy，Supraik（编辑）等人，IARCS软件技术和理论计算机科学基础年会（FSTTCS 2011），印度孟买，2011年12月12-14日。瓦登：达格斯图尔宫-莱布尼茨天顶宫（ISBN 978-3-939897-34-7）。LIPIcs–莱布尼茨国际信息学会议录13，204-216，仅电子版（2011年）。MSC公司：68个M12 94A60型 PDF格式BibTeX公司 XML格式引用 \textit｛C.Chevalier｝等人，LIPIcs——莱布尼茨国际期刊。通知。13、204--216（2011；Zbl 1246.68068） 全文： DOI程序
斯特凡尼德劳恩；帕斯卡·拉福卡德；丹尼斯·卢吉兹；拉尔夫·特里宁 单体方程理论的符号协议分析。 （英语） Zbl 1148.68325号 Inf.计算。 206，编号2-4，312-351（2008）.MSC公司：68个M12 第68页第25页 PDF格式BibTeX公司 XML格式引用 \textit{S.Delaune}等人，《信息计算》。206，编号2--4，312--351（2008；Zbl 1148.68325） 全文： DOI程序
斯特凡尼德劳恩；佛罗伦萨·杰克马尔 针对离线字典攻击的概率加密协议安全性的决策程序。 （英语） Zbl 1107.68041号 J.汽车。推理 36，编号1-2，85-124（2006）.MSC公司：第68页第25页 68吨15 94A62型 PDF格式BibTeX公司 XML格式引用 \textit{S.Delaune}和\textit{F.Jacquemard}，J.Autom。推理36，No.1--2，85-124（2006；Zbl 1107.68041） 全文： DOI程序 链接