斯特凡尼德劳恩 分析加密协议中的隐私类型属性（受邀演讲）。 （英语） 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；兹bl 1462.68017） 全文： 内政部
库沙尔·巴别尔;文森特·雪瓦尔;史蒂夫·克莱默 验证等价属性时的通信模型。 （英语） Zbl 1444.68035号 Maffei，Matteo（编辑）等人，《安全与信任原则》。2017年4月22日至29日在瑞典乌普萨拉举行的第六届国际会议，即2017年POST，是欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。10204, 141-163 (2017).MSC公司：68平方米25 68个M12 68问题55 60年第68季度 94A60 94A62型 PDF格式BibTeX公司 XML格式引用 \textit{K.Babel}等人，Lect。注释计算。科学。10204、141--163（2017；Zbl 1444.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） 全文： 内政部