ProVerify公司 49篇文献引用(2005–2023) 软件作者： inria.fr；布鲁诺·布兰切特 相关软件： AVISPA；塔马林；OFMC… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；量子理论（81-XX）…
EasyCrypt公司 36篇文献引用(2011–2022) 软件作者： 吉尔·巴特；本杰明·格雷戈里；希尔万，赫拉德；贝盖林，圣地亚哥·扎内拉 相关软件： 辅酶q；Isabelle/HOL；F*… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；量子理论（81-XX）…
证书密码 5份文件引用(2009–2017) 软件作者： 吉尔·巴特；本杰明·格雷戈里；圣地亚哥Zanella Béguelin 相关软件： 辅酶q；Coq/SS反射；EasyCrypt… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
CoSP公司 5份文件引用(2010–2018) 软件作者： Michael Backes、Dennis Hofheinz、Dominique Unruh 相关软件： AVISPA；EasyCrypt；ProVerif… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
EFADS公司 2份文件引用(2014) 软件作者： 魏贵义；吕荣星；邵军 相关软件： SiRiUS公司；普鲁特斯 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
阿尔雷德 1份文件引用(2012) 软件作者： 马科斯·琼·辛普利西奥（Marcos A.jun.Simplicio）。；Paulo S.L.M.巴雷托。 相关软件： 信件汤；马文 主要字段： 计算机科学（68-XX）
信件汤 1份文件引用(2012) 软件作者： Simplicio，Marcos A.jun.（马科斯·A·琼·辛普利西奥）。；Paulo S.L.M.巴雷托。 相关软件： 马文；阿尔雷德 主要字段： 计算机科学（68-XX）
马文 1份文件引用(2012) 软件作者： 马科斯·琼·辛普利西奥（Marcos A.jun.Simplicio）。；Paulo S.L.M.巴雷托。 相关软件： 信件汤；阿尔雷德 主要字段： 计算机科学（68-XX）