皮诺奇 91份文件引用(2013年-2023年) 软件作者: 巴诺,B.,詹特里,C.,豪厄尔,J.,雷科娃,M。 相关软件: C的SNARK;马林鱼;Geppetto… 主要字段: 数论(11-XX);计算机科学(68-XX);量子理论(81-XX)…
利比奥普 23篇文献引用(2019–2022) 软件作者: Nicholas P.沃德。 相关软件: 利格罗;斯巴达人;马林… 主要字段: 数论(11-XX);代数几何(14-XX);计算机科学(68-XX)…
ProVerify公司 49篇文献引用(2005–2023) 软件作者: inria.fr;布鲁诺·布兰切特 相关软件: AVISPA;塔马林;OFMC… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);量子理论(81-XX)…
莫德-NPA 39篇文献引用(2009–2023) 软件作者: 圣地亚哥埃斯科瓦尔;梅多斯,凯瑟琳作者简介;何塞·梅塞盖尔;圣地亚哥,索尼娅 相关软件: 莫德;塔马林;AVISPA… 主要字段: 历史与传记(01-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)…
NRL公司 30篇文献引用(1996–2022) 软件作者: 凯瑟琳·梅多斯 相关软件: 莫德;AVISPA;OFMC… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)
OFMC公司 25篇文献引用(2005–2022) 软件作者: 塞巴斯蒂安·莫德谢姆,卢卡·维甘诺 相关软件: AVISPA;NRL;卡斯珀… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)
马刀 25篇文献引用(2018–2023) 软件作者: D'Anvers,Jan-Pieter;昂舒曼·卡马卡;辛哈·罗伊(Sinha Roy),苏霍伊(Sujoy);弗雷德里克·韦考特伦 相关软件: FrodoKEM;NTRU;自行车… 主要字段: 组合数学(05-XX);计算机科学(68-XX);量子理论(81-XX)…
美味的 22篇文献引用(2011–2023) 软件作者: Henecka,W.、Kögl,S.、Sadeghi,A.-R.、Schneider,T.、Wehrenberg,I。 相关软件: ABY;VMCrypt;FairplayMP… 主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)
精彩 引用于20份文件(2019年-2023年) 软件作者: Ashur,T。;德胡厄,S。 相关软件: MiMC;波塞冬;低MC… 主要字段: 数论(11-XX);场论与多项式(12-XX);代数几何(14-XX)…
振动 17篇文献引用(2009–2023) 软件作者: Damgård,伊万;马丁·盖斯勒(Martin Geisler);米克尔·克里加德;杰斯珀·布乌斯·尼尔森 相关软件: 分享者;FairplayMP;美味… 主要字段: 计算机科学(68-XX);粒子和系统力学(70-XX);信息与通信理论,电路(94-XX)
爱马仕 8份文件引用(2005–2009) 软件作者: Bozga,L.、Lakhnech,Y.、Perin,M。 相关软件: AVISPA;卡斯珀;Timbuk… 主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)
SCiFI公司 7份文件引用(2012–2023) 软件作者: Osadchy,M.,Pinkas,B.,Jarrous,A.,Moskovich,B。 相关软件: 自行车;银;美味… 主要字段: 计算机科学(68-XX);量子理论(81-XX);信息与通信理论,电路(94-XX)
阿普特 5份文件引用(2017–2018) 软件作者: V.雪娃;David Baelde、Stephanie Delaune、Lucca Hirschi 相关软件: 阿克斯;塔马林;AVISPA… 主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)
CoSP公司 5份文件引用(2010–2018) 软件作者: Michael Backes、Dennis Hofheinz、Dominique Unruh 相关软件: AVISPA;EasyCrypt;ProVerif… 主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)
LITESET公司 5份文件引用(1998年至2017年) 软件作者: 花冈、果一郎;郑玉良;伊迈、希德基 相关软件: 克利夫亚;McOE公司 主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-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)
阳极氧化 1份文件引用(2017) 软件作者: Hohenberger,S.、Myers,S.,Pass,R.、Shelat,A。 相关软件: 力比奥;25519版;利盖罗… 主要字段: 量子理论(81-XX);信息与通信理论,电路(94-XX)
承载SSL 4份文件引用(2021年至2022年) 软件作者: 波宁,T。 相关软件: NTL;github;咖喱… 主要字段: 数论(11-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)
HyCC公司 4份文件引用(2020–2023) 软件作者: Büscher,N.、Demmler,D.、Katzenbeisser,S.、Kretzmer,D.、Schneider,T。 相关软件: ABY;怀斯特里亚;美味… 主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)
秘密 3份文件引用(2005–2015) 软件作者: A.D.Gordon、C.Haack、A.Jeffrey 相关软件: F*;塔马林;OFMC… 主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)
miTLS系统 3份文件引用(2019年至2021年) 软件作者: 卡尔蒂基安·巴加万、塞德里克·福内特、圣地亚哥·扎内拉·贝林、本杰明·贝尔杜奇、安托万·德利格纳·拉瓦德、马尔库夫·科尔维斯、吉安·卡里姆·津津多霍、纳迪姆·科贝西、阿尔弗雷多·皮隆蒂、皮尔雷·伊夫·斯特鲁布 相关软件: NAXOS;HaNS;CppMem;…(C)… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)
熊猫 3份文件引用(2014–2020) 软件作者: Chuengsatiansup,Chitchanok;Michael Naehrig;里巴尔斯基,潘切;彼得·施瓦布 相关软件: 太阳神;EAGL;皮诺奇… 主要字段: 数论(11-XX);代数几何(14-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)…
微型乐高 3份文件引用(2016–2017) 软件作者: Frederiksen,T.、Jakobsen,T.和Nielsen,J.、Trifiletti,R。 相关软件: 迷你乐高;GraphSC;EMP-toolkit… 主要字段: 信息与通信理论,电路(94-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)
G2C公司 1份文件引用(2012) 软件作者: 迈克尔·巴克斯(Michael Backes);马特奥·马菲;Pecina,Kim;拉斐尔·雷舒克(Raphael M.Reischuk)。 相关软件: 通用电气;AURA公司 主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)
联合太平洋航空公司 1份文件引用(2003) 软件作者: 斯蒂芬·马吉尔(Stephen Magill);布拉德利·斯卡格斯;毛里西奥·爸爸;约翰·黑尔 相关软件: – 主要字段: 计算机科学(68-XX)
MoSS公司 1份文件引用(2021) 软件作者: 埃米尔·赫茨伯格;莱博维茨,赫米;西塔,埃瓦;萨拉·沃托尼亚克 相关软件: 隐秘HOL;塔马林;GNUC… 主要字段: 信息与通信理论,电路(94-XX)
W3B密码 1份文件引用(2006年) 软件作者: 安吉洛斯·斯塔夫鲁;Michael E.Locasto。;Angelos D.Keromytis。 相关软件: – 主要字段: 信息与通信理论,电路(94-XX)