罗斯·霍恩;绍克·莫;塞门·尤尔科夫 当隐私失效时，一个公式描述了一种攻击：应用的（pi）演算的完整组合验证方法。 （英语） Zbl 07685353号 西奥。计算。科学。 959，文章ID 113842，42 p.（2023）.理学硕士：68季度xx PDF格式BibTeX公司 XML格式引用 \textit{R.Horne}等人，Theor。计算。科学。959，文章ID 113842，42 p.（2023；Zbl 07685353） 全文： 内政部
休伯特·加拉维;弗雷德里克·朗 40年后的等效性检查：互模拟工具综述。 （英语） Zbl 1524.68189号 Jansen，Nils（编辑）等人，《从过程代数到时间自动机到模型学习的旅程》。在弗里茨·瓦德拉格60岁生日之际，为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。13560, 213-265 (2022).理学硕士：60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{H.Garavel}和\textit{F.Lang}，莱克特。注释计算。科学。13560213--265（2022年；Zbl 1524.68189） 全文： 内政部 哈尔
罗斯·霍恩;绍克·莫;塞门·尤尔科夫 使用拟开双相似性对应用（pi）演算中的协议等价性进行组合分析。 （英语） Zbl 07500647号 Cerone，Antonio（编辑）等人，《计算的理论方面——ICTAC 2021》。第18届国际学术讨论会，虚拟活动，哈萨克斯坦努尔苏尔坦，2021年9月8日至10日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12819235-255（2021年）。理学硕士：68季度xx PDF格式BibTeX公司 XML格式引用 \textit{R.Horne}等人，Lect。注释计算。科学。12819235-255（2021年；兹bl 07500647） 全文： 内政部 OA许可证
安基永;罗斯·霍恩;Tiu，Alwen先生 使用直觉模态逻辑表征开放双相似性。 （英语） 兹伯利07407774 日志。方法计算。科学。 17，第3号，第2号论文，40页（2021年）.理学硕士：03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{K.Y.Ahn}等人，日志。方法计算。科学。17，第3号，第2号论文，40页（2021；Zbl 07407774） 全文： arXiv公司 链接
罗斯·霍恩;绍克·莫 使用双相似性发现ePassport漏洞。 （英语） Zbl 07379295号 日志。方法计算。科学。 17，第2号，第24号论文，52页（2021年）.理学硕士：68第27页 03B45 68问题85 94A62型 PDF格式BibTeX公司 XML格式引用 \textit｛R.Horne｝和\textit｛S.Mauw｝，日志。方法计算。科学。17，第2号，第24号论文，52页（2021；Zbl 07379295） 全文： 内政部 arXiv公司
伊曼纽埃莱·德苏亚尔多;费利克斯·斯图茨 用于验证具有无限会话的密码协议的可确定归纳不变量。 （英语） Zbl 07559487号 Konnov，Igor（编辑）等人，第31届并发理论国际会议。CONCUR 2020，2020年9月1日至4日，奥地利维也纳，虚拟会议。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。171，第31条，第23页（2020年）。理学硕士：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{E.D'osualdo}和\textit{F.Stutz}，LIPIcs——莱布尼茨国际程序。通知。171，第31条，第23页（2020；Zbl 07559487） 全文： 内政部 arXiv公司
戴尔·米勒 重温机械化元理论。 （英语） Zbl 1468.68303号 J.汽车。推理 63，第3号，625-665（2019）.理学硕士：68伏15 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{D.Miller}，J.Autom。推理63，No.3，625--665（2019；Zbl 1468.68303） 全文： 内政部 哈尔