斯特凡尼德劳恩 分析加密协议中的隐私类型属性（受邀演讲）。 （英语） 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 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公司