卡尔蒂基扬·巴尔干;Abhishek Bichhawat;Quoc Huy Do公司;佩德拉姆·霍塞尼;拉尔夫·库斯特斯;吉多·施密茨;蒂姆·沃特尔 （\mathsf{DY}^{star}\）的辅导式介绍。 （英语） Zbl 1498.94055号 Daniel Dougherty（编辑）等人，《协议、链和逻辑》。在约书亚·古特曼66.66岁生日之际，为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。13066, 77-97 (2021).MSC公司：94A60型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{K.Bhargavan}等人，Lect。注释计算。科学。13066，77--97（2021；Zbl 1498.94055） 全文： DOI程序
吉尔·巴特;古斯塔沃·贝塔特;胡安·迭戈·坎波;卡洛斯·卢纳;大卫·皮哈迪 恒定时间加密的系统级不干涉。二： 已验证静态分析和隐形内存。 （英语） Zbl 1459.68027号 J.汽车。推理 64，编号81685-1729（2020）.MSC公司：68平方米25 68伏15 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{G.Barthe}等人，J.Autom。推理64，No.8，1685--1729（2020；Zbl 1459.68027） 全文： DOI程序
贝纳姆萨塔扎德;Mehran S·法拉。 在存在折衷主体的情况下，对注入协议进行基于类型的自动分析。 （英语） Zbl 1337.68193号 J.日志。阿尔盖布。方法计划。 84，第5期，576-610（2015）.MSC公司：68问题85 68个M12 94A62型 PDF格式BibTeX公司 XML格式引用 \textit{B.Sattarzadeh}和\textit{M.S.Fallah}，J.Log。阿尔盖布。方法计划。84，第5号，576--610（2015；Zbl 1337.68193） 全文： DOI程序
塞德里克·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） 全文： DOI程序 哈尔
迪帕克·加尔格;杰森·富兰克林;迪尔森·卡纳尔;阿努帕姆·达塔 具有接口受限对手的组合系统安全。 （英语） 兹比尔1342.68083 Mislove，Michael（ed.）等人，《第26届编程语义数学基础会议论文集》（MFPS 2010），加拿大渥太华，2010年5月6日至10日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记265，49-71（2010）。MSC公司：68号30 03B70号 68甲19 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{D.Garg}等人，《电子》。理论注释。计算。科学。265、49--71（2010年；Zbl 1342.68083） 全文： DOI程序