亚历山大·戴班特;斯特凡尼德劳恩;西里尔·威德林 分析安全协议中物理邻近性的符号框架。 （英语） 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） 全文： 内政部
文森特·雪瓦尔;科蒙·隆德，休伯特;斯特凡尼德劳恩 确定约束系统集之间符号等价性的过程。 （英语） Zbl 1371.68189号 Inf.计算。 255，第1部分，94-125（2017）.MSC公司：68问题85 60年第68季度 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{V.Cheval}等人，《信息计算》。255，第1部分，94-125（2017；Zbl 1371.68189） 全文： 内政部 链接
塞尔吉·布尔苏克;科蒙·隆德，休伯特;斯特凡尼德劳恩 可重复性约束和盲签名。 （英语） 兹比尔1360.94298 Inf.计算。 238, 106-127 (2014).MSC公司：94A60型 68个M12 94A62型 PDF格式BibTeX公司 XML格式引用 \textit{S.Bursuc}等人，《信息计算》。238106-127（2014年；Zbl 1360.94298） 全文： 内政部
迈托·阿拉皮尼斯;斯特凡尼德劳恩;史蒂夫·克莱默 安全协议的动态标签。 （英语） 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） 全文： 内政部 arXiv公司
马修·波德特;维罗尼克·科尔蒂尔;斯特凡尼德劳恩 YAPA：计算入侵者知识的通用工具。 （英语） Zbl 1353.68019号 ACM事务处理。计算。日志。 第14号第1条第4条第32页（2013年）.MSC公司：68个M12 2012年第68季度 60年第68季度 68问题85 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{M.Baudet}等人，ACM Trans。计算。日志。14，第1号，第4条，32页（2013；Zbl 1353.68019） 全文： 内政部
文森特·雪瓦尔;维罗尼克·科尔蒂尔;斯特凡尼德劳恩 使用约束求解确定基于等效的特性。 （英语） 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年；兹bl 1294.68111） 全文： 内政部
维罗尼克·科尔蒂尔;斯特凡尼德劳恩 安全协议中两个知识概念的可决定性和组合结果。 （英语） Zbl 1242.68099号 J.汽车。推理 48，第4期，441-487（2012）.MSC公司：68第25页 03B70号 68个M12 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{V.Cortier}和\textit{S.Delaune}，J.Autom。推理48，No.4，441--487（2012；Zbl 1242.68099） 全文： 内政部
瑟·特凡·乔巴赫;斯特凡尼德劳恩;史蒂夫·克莱默 在收敛方程理论下计算安全协议知识。 （英语） 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，第219-262号（2012年；Zbl 1242.68098） 全文： 内政部
斯特凡尼德劳恩 同态的简单入侵者演绎问题。 （英语） Zbl 1184.68459号 信息处理。莱特。 97，第6期，213-218（2006）.MSC公司：68吨15 68第25页 PDF格式BibTeX公司 XML格式引用 \textit{S.Delaune}，信息处理。莱特。97，第6号，213--218（2006；Zbl 1184.68459） 全文： 内政部
斯特凡尼德劳恩 AGh的不可判定结果。 （英语） Zbl 1171.94344号 西奥。计算。科学。 368，编号1-2，161-167（2006）.MSC公司：94A60型 03天35分 68个M12 PDF格式BibTeX公司 XML格式引用 \textit{S.Delaune}，Theor。计算。科学。368，编号1--2，161-167（2006；Zbl 1171.94344） 全文： 内政部