HMQV公司 105篇文献引用(2001–2023) 软件作者： 雨果·克劳茨克 相关软件： NAXOS；金利；XooTools… 主要字段： 组合数学（05-XX）；动力系统与遍历理论（37-XX）；计算机科学（68-XX）…
卡斯珀 83份文件引用(1999–2018) 软件作者： Gavin Lowe/牛津大学计算实验室 相关软件： AVISPA；TAPS；OFMC… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
NAXOS公司 94份文件引用(2007–2023) 软件作者： Berkant Ustaoglu；拉马奇亚；Lauter公司；米提亚金 相关软件： HMQV；CMQV+；GitHub… 主要字段： 数论（11-XX）；代数几何（14-XX）；计算机科学（68-XX）…
自旋 26篇文献引用(2002–2022) 软件作者： ADRIAN PERRIG、ROBERT SZEWCYK、J.D.TYGAR、VICTOR WEN和DAVID E.CULLER 相关软件： TinyECC；标签；AVISPA… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
CMQV公司+ 41篇文献引用(2005–2023) 软件作者： 李慧；吴传坤 相关软件： NAXOS；HMQV；AVISPA… 主要字段： 数论（11-XX）；动力系统与遍历理论（37-XX）；计算机科学（68-XX）…
莫德-NPA 39篇文献引用(2009–2023) 软件作者： 圣地亚哥埃斯科瓦尔；梅多斯，凯瑟琳作者简介；何塞·梅塞盖尔；圣地亚哥，索尼娅 相关软件： 莫德；塔马林；AVISPA… 主要字段： 历史与传记（01-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…
斯巴达人 37篇文献引用(2020–2023) 软件作者： 斯琳塔·塞蒂 相关软件： 力比奥；马林鱼；GitHub… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；量子理论（81-XX）…
OFMC公司 25篇文献引用(2005–2022) 软件作者： Sebastian Mödersheim，卢卡·维甘奥 相关软件： AVISPA；NRL；Casper… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
马刀 27篇文献引用(2018–2023) 软件作者： D'Anvers，Jan-Pieter；昂舒曼·卡马卡；辛哈·罗伊（Sinha Roy），苏霍伊（Sujoy）；弗雷德里克·韦考特伦 相关软件： FrodoKEM；github；NTRU… 主要字段： 组合数学（05-XX）；数论（11-XX）；计算机科学（68-XX）…
银色 21篇文献引用(2021–2023) 软件作者： 杰弗里·库托；彼得·林达尔；斯里尼瓦桑·拉古拉曼 相关软件： 自行车；github；ABY… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；量子理论（81-XX）…
精彩 20篇文献引用(2019–2023) 软件作者： Ashur，T。；德胡厄，S。 相关软件： MiMC；波塞冬；低MC… 主要字段： 数论（11-XX）；场论与多项式（12-XX）；代数几何（14-XX）…
SNAP（快照） 10篇文献引用(2002–2013) 软件作者： 卡尔·查伊科夫斯基（Karl Czajkowski）；伊恩·福斯特（Ian Foster）；卡尔·凯塞尔曼；沃尔克·桑德；史蒂文·图克 相关软件： Globus工具包；开放科学网格；Condor-G… 主要字段： 计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）；生物学和其他自然科学（92-XX）…
VIFF公司 17篇文献引用(2009–2023) 软件作者： 伊凡·达姆加德；马丁·盖斯勒（Martin Geisler）；米克尔·克里加德；杰斯珀·布乌斯·尼尔森 相关软件： 分享者；FairplayMP；美味… 主要字段： 计算机科学（68-XX）；粒子和系统力学（70-XX）；信息与通信理论，电路（94-XX）
飞天螳螂 14篇文献引用(2009–2017) 软件作者： 克雷默斯，C。 相关软件： 阿维斯帕；阿克斯；塔马林… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
迷你乐高 14篇文献引用(2013–2021) 软件作者： 弗雷德里克森（Frederiksen），托尔·卡斯珀（Tore Kasper）；雅各布森，托马斯·佩尔；尼尔森（Jesper Buus）；诺德霍尔特，彼得·塞巴斯蒂安；克劳迪奥·奥兰迪 相关软件： TinyLEGO；FleXOR；美味… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
图拉法勒 12份文件引用(2004–2012) 软件作者： Bhargavan，Karthikeyan；Fornet，塞德里克；安德鲁·戈登（Andrew D.Gordon）。；里卡多·普切拉 相关软件： Spi2Java；ProVerify；AVISPA… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
BitBlaze公司 7份文件引用(2012–2023) 软件作者： D.X.Song、D.Brumley、H.Yin、J.Caballero、I.Jager、M.G.Kang、Z.Liang、J.Newsome、P.Poosankam、P.Saxena 相关软件： BAP；KLEE公司；Dytan… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
G-Hadoop公司 8份文件引用(2014–2018) 软件作者： 赵家琦；王丽芝；陶杰；陈金军；孙伟业；拉吉夫·兰扬；乔安娜·科洛德齐耶（Joanna Kolodziej）；阿希姆·斯特里特；迪米特里奥斯·乔治科普洛斯 相关软件： Hadoop；MapReduce；CUDA… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；计算机科学（68-XX）…
询问人 9份文件引用(1997–2013) 软件作者： 乔纳森·米伦 相关软件： OFMC；Isabelle/HOL；PVS… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
EC2C-PAKA公司 9份文件引用(2007–2013) 软件作者： Byun、Jin Wook；Lee，Dong Hoon；林钟英 相关软件： CMQV+；HMQV公司 主要字段： 动力系统与遍历理论（37-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
爱马仕 8份文件引用(2005–2009) 软件作者： Bozga，L.、Lakhnech，Y.、Perin，M。 相关软件： AVISPA；卡斯珀；Timbuk… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
ASPIER公司 6篇文献引用（2011年-2023年） 软件作者： Chaki，S；达塔，A。 相关软件： ProVerify；NAXOS；EasyCrypt… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
ConfiChair公司 4份文件引用(2013–2021) 软件作者： 阿拉皮尼斯（Arapinis），梅尔托（Myrto）；塞尔维亚布尔苏克；马克·瑞恩 相关软件： ProVerify；FlowFox；CoSMed… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
阿普特 5份文件引用(2017–2018) 软件作者： V.雪娃；David Baelde、Stephanie Delaune、Lucca Hirschi 相关软件： 阿克斯；塔马林；AVISPA… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
值得信赖的好友 6篇文献引用(2007–2021) 软件作者： 米兰堡、费利克斯·弗雷林、卢西娅·德拉克·彭索、齐奈达·本内森、多根·凯斯多根 相关软件： 分享者；VIFF；水肺 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
Spi2Java软件 3份文件引用(2007–2014) 软件作者： 波扎，D.，西斯托，R.，杜兰特，L。 相关软件： ASPIER公司；AGVI；ProVerif… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
简洁 5份文件引用(2004–2010) 软件作者： 尼尔森，弗莱明；尼尔森、汉内·里斯；孙红燕；米凯尔·巴赫霍尔茨（Mikael Buchholtz）；Hansen、Rene Rydhof；亨利克·皮利加德（Henrik Pilegaard）；赫尔穆特·塞德尔 相关软件： 琳达；科莱姆；政治公众人物协议… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）…
AGVI公司 3份文件引用(2001–2018) 软件作者： 宋，黎明；阿德里安·佩里格（Adrian Perrig）；多安塔姆·潘 相关软件： JavaSPI；MJ；Spi2Java… 主要字段： 计算机科学（68-XX）
蛋糕 4份文件引用(2017–2022) 软件作者： Paulo S.L.M.巴雷托。；谢·盖伦（Shay Gueron）；蒂姆·Güneysu；拉斐尔·米索茨基；埃多瓦多·佩西切蒂；尼古拉斯·森德里尔（Nicolas Sendrier）；Jean-Pierre Tillich 相关软件： 麦克利埃塞；McBits；自行车… 主要字段： 数论（11-XX）；计算机科学（68-XX）；量子理论（81-XX）…
塞尔夫 4份文件引用(2008–2023) 软件作者： 安德斯·沙克·奈尔森（Anders Schack-Nielsen）；卡斯滕·舒尔曼 相关软件： TALx86；洛利；混合型… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
QUAIL公司 3份文件引用(2016–2019) 软件作者： 法布里奇奥·比昂迪（Fabrizio Biondi）、阿克塞尔·莱吉（Axel Legay）、路易斯·马里·特劳诺兹（Louis-marie Traonouez） 相关软件： ANTLR；DTA++；泄漏监视 主要字段： 统计学（62-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
AnZenMail公司 2份文件引用(2003) 软件作者： 志山、Etsuya；Shigeki Hagihara；NaokiKobayashi，；Nishizaki，Shin-ya；KenjiroTaura，；渡边，Takuo 相关软件： Coq；TALx86；JFlow… 主要字段： 计算机科学（68-XX）
秘密 3份文件引用(2005–2015) 软件作者： A.D.Gordon、C.Haack、A.Jeffrey 相关软件： F*；罗望子；OFMC… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
被遗忘者 3份文件引用(2015–2021) 软件作者： 穆罕默德·萨迪克·多斯蒂（Mohammad Sadeq Dousti）；拉苏尔·贾利利 相关软件： HMQV；DUKPT；FrodoKEM… 主要字段： 数论（11-XX）；代数几何（14-XX）；计算机科学（68-XX）…
JavaSPI语言 1份文件引用(2018) 软件作者： 里卡多·西斯托；比塔萨·科佩特（Bettasa Copet），皮尔吉乌塞佩（Piergiuseppe）；阿瓦莱，马蒂奥；阿尔弗雷多·皮隆蒂 相关软件： MJ；AGVI；Bouncy Castle… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
LDYIS公司 3份文件引用(2008–2011) 软件作者： 阿莱西奥·洛穆西奥；沃伊切赫，彭泽克 相关软件： MCMAS-X；MCMAS；Casper… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-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）
S-RIP型 3份文件引用(2004–2009) 软件作者： 万涛；克拉纳基斯、埃文格洛斯；Paul C.van Oorschot。 相关软件： – 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
VCGen公司 2份文件引用(2015–2023) 软件作者： 陈，陈；贾立民；徐浩；罗成；周文超；Loo，Boon Thau先生 相关软件： SANDLog；Coq；KeY… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
CAPA公司 2份文件引用(2018–2023) 软件作者： O.Reparaz、L.De Meyer、B.Bilgin、V.Arribas、S.Nikova、V.Nikov、N.Smart 相关软件： 卡坦；出席；Keras… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
CASPA公司_ 1份文件引用(2015) 软件作者： 迈克尔·巴克斯（Michael Backes）；斯特凡·洛伦茨；马特奥·马菲；金·佩西纳 相关软件： F*；塔马林；隐秘… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
加密验证 2份文件引用(2012–2013) 软件作者： 大卫·卡德；布鲁诺·布兰切特 相关软件： ASPIER公司；OCaml；密码点… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
EFADS公司 2份文件引用（2014年） 软件作者： 魏贵义；吕荣星；邵军 相关软件： SiRiUS公司；普鲁图斯 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
最低有效期 1份文件引用(2006) 软件作者： Reddy，T.Bheemarjuna；Sriram，S。；Manoj，B.S。；C.Siva Ram Murthy 相关软件： 全球移动模拟 主要字段： 计算机科学（68-XX）
SANDLog日志 1份文件引用(2015) 软件作者： 陈，陈；贾立民；徐浩；罗成；周文超；Loo，Boon Thau先生 相关软件： VCGen；Coq；RapidNet… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
MAMBA秤 2份文件引用(2021–2022) 软件作者： 奈杰尔·斯马特；KU鲁汶 相关软件： MP-SPDZ；github；曲线25519… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
谁也是 2份文件引用(2021–2022) 软件作者： 亚历杭德罗·海维亚；伊拉娜·默古迪奇·塔尔 相关软件： 木卫四 主要字段： 计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）；信息与通信理论，电路（94-XX）
CheapBFT公司 1份文件引用（2020年） 软件作者： Rüdiger Kapiza、Johannes Behl、Christian Cachin、Tobias Distler、Simon Kuhnle、Seyed Vahid Mohammadi、Wolfgang Schröder 相关软件： MS SQL Server；阿帕奇·卡夫卡；MySQL… 主要字段： 计算机科学（68-XX）
EthVer公司 1份文件引用(2021) 软件作者： 尤卡斯·马祖雷克 相关软件： 曼蒂科尔；甲氰菊酯；Why3… 主要字段： 博弈论、经济学、金融和其他社会和行为科学（91-XX）；信息与通信理论，电路（94-XX）
G2C公司 1份文件引用(2012) 软件作者： 迈克尔·巴克斯（Michael Backes）；马特奥·马菲；Pecina，Kim；拉斐尔·雷舒克（Raphael M.Reischuk）。 相关软件： 通用电气；AURA公司 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
MATF公司 1份文件引用（2020年） 软件作者： Khan，M.S。；M.I.Khan。；苏联马利克。；哈立德，O。；阿齐姆，M。；北卡罗来纳州贾维德。 相关软件： SenetSHM公司 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
米兰尼奥 1份文件引用(2000) 软件作者： 佩雷斯·迪亚斯（Pérez Díaz），杰苏斯·阿图罗（Jesús Arturo）；阿尔瓦雷斯·古铁雷斯，达里奥；加西亚·巴隆，萨拉·伊莎贝尔 相关软件： – 主要字段： 计算机科学（68-XX）
MoSS公司 1份文件引用(2021) 软件作者： 埃米尔·赫茨伯格；莱博维茨，赫米；西塔，埃瓦；萨拉·沃托尼亚克 相关软件： 隐秘HOL；塔马林；GNUC… 主要字段： 信息与通信理论，电路（94-XX）
OpenPiton公司 1份文件引用(2022) 软件作者： 乔纳森·巴尔金德（Jonathan Balkind）、迈克尔·麦基翁（Michael McKeown）、傅耀生（Yaosheng Fu 相关软件： 火箭芯片；Open2C；AXI公司 主要字段： 计算机科学（68-XX）
普里奥+ 1份文件引用(2022) 软件作者： 苏里亚·阿丹基；凯文·加贝（Kevin Garbe）；埃利·杰菲；拉斐尔·奥斯特罗夫斯基；安提戈尼Polychroniadou 相关软件： github；RAPPOR；libOTe… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
W3B密码 1份文件引用(2006) 软件作者： 安吉洛斯·斯塔夫鲁；Michael E.Locasto。；Angelos D.Keromytis。 相关软件： – 主要字段： 信息与通信理论，电路（94-XX）