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;蒂娜… 主要字段: 概率论与随机过程(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;GitHub… 主要字段: 数论(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;公平竞争议员… 主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)
魅力 18篇文献引用(2014–2023) 软件作者: Akinyele,J.A.、Garman,C.、Miers,I.、Pagano,M.W.、Rushanan,M.、Green,M.和Rubin,A.D。 相关软件: github;遗迹;PBC图书馆… 主要字段: 代数几何(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;JustGarble公司;ObliVM… 主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)
Spi2Java软件 引用于3份文件(2007–2014) 软件作者: 波扎,D.,西斯托,R.,杜兰特,L。 相关软件: ASPIER公司;AGVI;ProVerif… 主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)
AGVI公司 引用于3份文件(2001–2018) 软件作者: 宋,黎明;阿德里安·佩里格(Adrian Perrig);多安塔姆·潘 相关软件: JavaSPI;MJ;Spi2Java… 主要字段: 计算机科学(68-XX)
低温TFlow2 4份文件引用(2021–2024) 软件作者: 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 相关软件: github;gmp;太阳神… 主要字段: 计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX);信息与通信理论,电路(94-XX)
秘密 引用于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) 软件作者: 西里尔·布维尔;卡斯塔尼奥斯(Guilhem Castagnos);洛朗·伊姆伯特(Laurent Imbert);Fabien Laguillaumie 相关软件: github;DVNIZK公司;gmp… 主要字段: 信息与通信理论,电路(94-XX)
G2C公司 1份文件引用(2012) 软件作者: 迈克尔·巴克斯(Michael Backes);马特奥·马菲;Pecina,Kim;拉斐尔·雷舒克(Raphael M.Reischuk)。 相关软件: 通用电气;AURA公司 主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)
MoSS公司 1份文件引用(2021) 软件作者: 埃米尔·赫茨伯格;莱博维茨,赫米;西塔,埃瓦;萨拉·沃托尼亚克 相关软件: 隐秘HOL;罗望子;GNUC… 主要字段: 信息与通信理论,电路(94-XX)