卡尔蒂基扬·巴尔干;阿比舍克省比什哈瓦特;Quoc Huy Do公司;佩德拉姆·霍塞尼;拉尔夫·库斯特斯;吉多·施密茨;蒂姆·沃特特尔 （\mathsf{DY}^{star}\）的辅导式介绍。 （英语） Zbl 1498.94055号 Daniel Dougherty（编辑）等人，《协议、链和逻辑》。在约书亚·古特曼66.66岁生日之际，为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。13066, 77-97 (2021).MSC公司：94A60 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Bhargavan}等人，Lect。注释计算。科学。13066，77--97（2021；Zbl 1498.94055） 全文： 内政部
塞德里克·Fornet;卡尔蒂基扬·巴尔干;安德鲁·戈登。 通过键入样本协议实现进行加密验证。 （英语） Zbl 1344.68072号 Aldini，Alessandro（编辑）等人，《安全分析和设计基础》，第六版，FOSAD教程讲座。柏林：施普林格出版社（ISBN 978-3-642-23081-3/pbk）。计算机科学课堂讲稿6858，66-100（2011）。MSC公司：68第25页 94A60 PDF格式BibTeX公司 XML格式引用 \textit{C.Fournet}等人，Lect。注释计算。科学。6858、66-100（2011年；Zbl 1344.68072） 全文： 内政部 哈尔