皮诺奇 91份文件引用(2013–2023) 软件作者： Parno，B.、Gentry，C.、Howell，J.、Raykova，M。 相关软件： C的SNARK；马林鱼；GitHub… 主要字段： 数论（11-XX）；计算机科学（68-XX）；量子理论（81-XX）…
斯巴达人 37篇文献引用(2020–2023) 软件作者： 斯琳塔·塞蒂 相关软件： 力比奥；马林鱼；GitHub… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；量子理论（81-XX）…
NRL公司 在30份文件中引用(1996–2022) 软件作者： 凯瑟琳·梅多斯 相关软件： 莫德；AVISPA；OFMC… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
OFMC公司 25篇文献引用(2005–2022) 软件作者： 塞巴斯蒂安·莫德谢姆，卢卡·维甘诺 相关软件： AVISPA；NRL；Casper… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
爱马仕 8份文件引用(2005–2009) 软件作者： Bozga，L.、Lakhnech，Y.、Perin，M。 相关软件： AVISPA；卡斯珀；Timbuk… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
AGVI公司 3份文件引用(2001–2018) 软件作者： 宋，黎明；阿德里安·佩里格（Adrian Perrig）；多安塔姆·潘 相关软件： JavaSPI；MJ；Spi2Java… 主要字段： 计算机科学（68-XX）
miTLS系统 3份文件引用(2019–2021) 软件作者： Karthikeyan Bhargavan、Cédric Fournet、Santiago Zanella-Béuelin、Benjamin Beurdouche、Antoine Delignat Lavaud、Markulf Kohlweiss、Jean Karim Zinzindohoué、Nadim Kobeissi、Alfredo Pironti、Pierre Yves Strub 相关软件： NAXOS；HaNS；CppMem；…（C）… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
熊猫 3份文件引用(2014–2020) 软件作者： Chuengsatiansup，Chitchanok；Michael Naehrig；潘斯·里巴斯基；彼得·施瓦布 相关软件： 太阳神；EAGL；皮诺奇… 主要字段： 数论（11-XX）；代数几何（14-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…