ProVerify公司 49份文件中引用（2005年-2023年） 软件作者： inria.fr；布鲁诺·布兰切特 相关软件： AVISPA；塔马林；OFMC… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；量子理论（81-XX）…
廷巴克 49份文件中引用(2001–2023) 软件作者： 托马斯·杰奈特；Yohan Boichut；贝尼特·博耶；Valérie Viet Triem Tong。。 相关软件： 莫德；AVISPA；ELAN… 主要字段： 数学逻辑与基础（03-XX）；一般代数系统（08-XX）；计算机科学（68-XX）…
莫德-NPA 39篇文献引用(2009–2023) 软件作者： 圣地亚哥埃斯科瓦尔；梅多斯，凯瑟琳作者简介；何塞·梅塞盖尔；圣地亚哥，索尼娅 相关软件： 莫德；塔马林；AVISPA… 主要字段： 历史与传记（01-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…
设计/CPN 35篇文献引用(1996–2023) 软件作者： 艾萨姆·阿佐尼（Issam Al-Azzoni）；Down，道格拉斯·G。 相关软件： CPN/工具；PNML；TINA… 主要字段： 概率论与随机过程（60-XX）；计算机科学（68-XX）；运筹学，数学规划（90-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）
夸克 26篇文献引用（2010年-2023年） 软件作者： J.-P.Aumasson、L.Henzen、W.Meier、M.Naya-Plasencia 相关软件： 出席；卡坦；谷物… 主要字段： 组合数学（05-XX）；数论（11-XX）；计算机科学（68-XX）…
盖比特 26篇文献引用(2016–2023) 软件作者： 克雷格·科斯特洛（Craig Costello）；Cédric Fornet；乔恩·豪厄尔；马尔库夫·科尔维斯；本杰明·克鲁特；迈克尔·奈赫里格（Michael Naehrig）；布莱恩·帕诺；萨米·扎赫尔 相关软件： 皮诺奇；C的SNARK；利盖罗… 主要字段： 数论（11-XX）；代数几何（14-XX）；计算机科学（68-XX）…
克莱因 25篇文献引用(2011–2023) 软件作者： 郑功、斯维特拉·尼科娃、叶维洛 相关软件： 王子；出席；卡坦… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
美味的 22篇文献引用(2011–2023) 软件作者： Henecka，W.、Kögl，S.、Sadeghi，A.-R.、Schneider，T.、Wehrenberg，I。 相关软件： ABY；VMCrypt；FairplayMP… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
魅力 18篇文献引用(2014–2023) 软件作者： Akinyele，J.A.、Garman，C.、Miers，I.、Pagano，M.W.、Rushanan，M.、Green，M.和Rubin，A.D。 相关软件： 遗迹；中国人民银行图书馆；FLINT… 主要字段： 代数几何（14-XX）；计算机科学（68-XX）；统计力学，物质结构（82-XX）…
水龙头 18篇文献引用(2000–2009) 软件作者： 欧尼·科恩 相关软件： 卡斯珀；AVISPA；SATO… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
CRAG公司 12份文件引用（2010年-2023年） 软件作者： 亚历克斯·迈斯尼科夫（Alex Myasnikov）；沃尔克·迪克特；Jürn Laun；亚历山大·乌沙科夫 相关软件： 间隙；核桃DSA；github 主要字段： 群论与推广（20-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
liboq 10篇文献引用（2017年-2023年） 软件作者： 道格拉斯·斯特比拉（Douglas Stebila）；米歇尔·莫斯卡 相关软件： github；猎鹰；PQClean… 主要字段： 概率论与随机过程（60-XX）；计算机科学（68-XX）；量子理论（81-XX）…
赫梅斯 8份文件引用(2005–2009) 软件作者： Bozga，L.、Lakhnech，Y.、Perin，M。 相关软件： AVISPA；卡斯珀；Timbuk… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
DRNG公司 5份文件引用(2014–2018) 软件作者： 英特尔 相关软件： 迪哈德；测试U01；更加坚强… 主要字段： 概率论与随机过程（60-XX）；数值分析（65-XX）；计算机科学（68-XX）…
倾斜-C 5份文件引用（2017年-2023年） 软件作者： Zahur，S.，Evans，D。 相关软件： ABY；义务虚拟机；TinyGarble… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
Spi2Java软件 3份文件引用（2007-2014） 软件作者： 波扎，D.，西斯托，R.，杜兰特，L。 相关软件： ASPIER公司；AGVI；ProVerif… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
AGVI公司 3份文件引用(2001–2018) 软件作者： 宋，黎明；阿德里安·佩里格（Adrian Perrig）；多安塔姆·潘 相关软件： MJ；JavaSPI；Spi2Java… 主要字段： 计算机科学（68-XX）
低温TFlow2 4份文件引用(2021–2024) 软件作者： Deevashwer Rathee；马扬克省Rathee；Nishant Kumar；Nishanth Chandran；迪维亚·古普塔；阿西姆·拉斯托吉 相关软件： 瞪羚；n图-HE；TensorFlow… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
HyCC公司 4份文件引用(2020–2023) 软件作者： Büscher，N.、Demmler，D.、Katzenbeisser，S.、Kretzmer，D.、Schneider，T。 相关软件： ABY；怀斯特里亚；美味… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
验证 4份文件引用(2020–2022) 软件作者： 维克斯特罗姆，D 相关软件： gmp；太阳神；贝莱尼奥斯 主要字段： 计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）；信息与通信理论，电路（94-XX）
密码yc 3份文件引用(2005–2015) 软件作者： A.D.Gordon、C.Haack、A.Jeffrey 相关软件： F*；塔马林；OFMC… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
MoTE-ECC公司 3份文件引用(2014–2015) 软件作者： 刘哲；埃里希·温格；乔安·格罗·谢德尔 相关软件： 25519号曲线；纳米ECC；微型ECC 主要字段： 代数几何（14-XX）；信息与通信理论，电路（94-XX）
PandA公司 3份文件引用(2014–2020) 软件作者： Chuengsatiansup，Chitchanok；Michael Naehrig；里巴尔斯基，潘切；彼得·施瓦布 相关软件： 太阳神；EAGL；皮诺奇… 主要字段： 数论（11-XX）；代数几何（14-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
SCAPI公司 1份文件引用(2017) 软件作者： Yael Ejgenberg、Moriya Farbstein、Meital Levy、Yehuda Lindell 相关软件： VMCrypt；FairplayMP；美味… 主要字段： 信息与通信理论，电路（94-XX）
验证器 3份文件引用（2016年至2019年） 软件作者： 高弘久保田；Kakutani、Yoshihiko；加藤，加油；川野康仁；樱田秀树 相关软件： QPL；质量管理清单；QPMC… 主要字段： 计算机科学（68-XX）；量子理论（81-XX）
ZKPDL公司 1份文件引用(2021) 软件作者： Sarah Meiklejohn、C.Christopher Erway、Alptekin Küpçü、Theodora Hinkle、Anna Lysyanskaya 相关软件： bplib；艾美；LIBSCAPI… 主要字段： 信息与通信理论，电路（94-XX）
CASPA公司_ 1份文件引用(2015) 软件作者： 迈克尔·巴克斯（Michael Backes）；斯特凡·洛伦茨；马特奥·马菲；金·佩西纳 相关软件： F*；塔马林；隐秘… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
消费品安全局 2份文件引用(2017–2018) 软件作者： J.D.古特曼、J.D.拉姆斯代尔。 相关软件： 莫德-NPA；阿克斯；塔马林… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
自行车 1份文件引用(2023) 软件作者： 西里尔·鲍维尔（Cyril Bouvier）；卡斯塔尼奥斯（Guilhem Castagnos）；洛朗·伊姆伯特（Laurent Imbert）；Fabien Laguillaumie 相关软件： DVNIZK公司；gmp；FLINT… 主要字段： 信息与通信理论，电路（94-XX）
G2C公司 1份文件引用(2012) 软件作者： 迈克尔·巴克斯（Michael Backes）；马特奥·马菲；Pecina，Kim；拉斐尔·雷舒克（Raphael M.Reischuk）。 相关软件： 通用电气；AURA公司 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
MoSS公司 1份文件引用(2021) 软件作者： 埃米尔·赫茨伯格；莱博维茨，赫米；西塔，埃瓦；萨拉·沃托尼亚克 相关软件： 隐秘HOL；塔马林；GNUC… 主要字段： 信息与通信理论，电路（94-XX）